Mukesh Tiwari's repositories
Formally-Verified-MultiObjective-Optimisation
Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Formally_Verified_Verifiable_Group_Generator
Repo for computing group generators in publicly verifiable manner.
Semiring_graph_algorithm
Semiring for short
Schulzeproperties
This repo is intended for verifying properties of Schulze Method
coq-tricks
Tricks you wish the Coq manual told you
ARC-templates
Latex Templates for Australian Research Council Discovery and DECRA programs
awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
Cambridge_theory_talk
Talk I gave at the Cambridge theory group
Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
Collection_of_PhD_Thesis
This repo is related to collecting PhD thesis, which is nice and easy to read.
CoqUtil
Coq Utility Functions and Proofs
crypto
Rust crypto library for data privacy tools
DataStrucutre
Implementation of Data Structures
hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
LectureNotes
Repo for collecting legal lecture notes available on Internet
mathcomp-extra
Extra contribution for mathcomp
Mixnets
Formally verified mixnets in PVS theorem prover. We extract C code from the formalisation, that can be compiler with CompCert to ensure the correctness all the way to assembly level.
Murec_Extraction
Extraction of µ-recursive algorithms in Coq
nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
Presentations
My presentations repo.
Rust
All Algorithms implemented in Rust
ST30_Benchmark
A set of benchmark to compare (multiparty) session types
votingmethods
Formalising various voting methods explained in https://sites.google.com/view/optdemocracy24/schedule
wg-sigma-protocols
The official repository containing the documentation of the Sigma Protocols working group.