Pinned Repositories
Coq-automation
Coq codes using various automation techniques
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.
Idris
Codes related to Idris
Semiring_graph_algorithm
Semiring for short
SHA256
OCaml Code for SHA256, extracted from Coq formalisation
Thesis
Repository for my Phd thesis. Finally, it's happening :)
mukeshtiwari's Repositories
mukeshtiwari/Formally-Verified-MultiObjective-Optimisation
Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
mukeshtiwari/Formally_Verified_Verifiable_Group_Generator
Repo for computing group generators in publicly verifiable manner.
mukeshtiwari/Semiring_graph_algorithm
Semiring for short
mukeshtiwari/coq-tricks
Tricks you wish the Coq manual told you
mukeshtiwari/Dlog-zkp
Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)
mukeshtiwari/Schulzeproperties
This repo is intended for verifying properties of Schulze Method
mukeshtiwari/ARC-templates
Latex Templates for Australian Research Council Discovery and DECRA programs
mukeshtiwari/awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
mukeshtiwari/Cambridge_theory_talk
Talk I gave at the Cambridge theory group
mukeshtiwari/CAS
mukeshtiwari/CAS_updated
mukeshtiwari/Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
mukeshtiwari/Collection_of_PhD_Thesis
This repo is related to collecting PhD thesis, which is nice and easy to read.
mukeshtiwari/CoqUtil
Coq Utility Functions and Proofs
mukeshtiwari/crypto
Rust crypto library for data privacy tools
mukeshtiwari/DataStrucutre
Implementation of Data Structures
mukeshtiwari/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
mukeshtiwari/LectureNotes
Repo for collecting legal lecture notes available on Internet
mukeshtiwari/mathcomp-extra
Extra contribution for mathcomp
mukeshtiwari/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.
mukeshtiwari/Murec_Extraction
Extraction of µ-recursive algorithms in Coq
mukeshtiwari/nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
mukeshtiwari/Presentations
My presentations repo.
mukeshtiwari/reductions
mukeshtiwari/research
mukeshtiwari/Rust
All Algorithms implemented in Rust
mukeshtiwari/ST30_Benchmark
A set of benchmark to compare (multiparty) session types
mukeshtiwari/votingmethods
Formalising various voting methods explained in https://sites.google.com/view/optdemocracy24/schedule
mukeshtiwari/wg-sigma-protocols
The official repository containing the documentation of the Sigma Protocols working group.
mukeshtiwari/zksnark