mukeshtiwari
Follow
Highlights
- Pro
-
-
-
-
Dlog-zkp Public
Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)
-
ZK-bulletproofs Public
Forked from RareSkills/ZK-bulletproofsExercises for Part 2 of the ZK-book
Python UpdatedJan 10, 2025 -
lean-by-example Public
Forked from lean-ja/lean-by-exampleコード例で学ぶ Lean 言語
Lean MIT License UpdatedJan 7, 2025 -
100-exercises-to-learn-rust Public
Forked from mainmatter/100-exercises-to-learn-rustA self-paced course to learn Rust, one exercise at a time.
Rust UpdatedJan 7, 2025 -
Repo for computing group generators in publicly verifiable manner.
-
-
platform-docs Public
Forked from coq/platform-docsA project of short tutorials and how-to guides for Coq features and Coq Platform packages.
Coq Other UpdatedAug 1, 2024 -
-
Practical-Cryptography-for-Developers-Book Public
Forked from nakov/Practical-Cryptography-for-Developers-BookPractical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Sign…
CSS MIT License UpdatedJun 7, 2024 -
hash-based-snargs-book Public
Forked from hash-based-snargs-book/hash-based-snargs-bookSource code for "Building Cryptographic Proofs from Hash Functions"
TeX UpdatedMay 13, 2024 -
votingmethods Public
Formalising various voting methods explained in https://sites.google.com/view/optdemocracy24/schedule
Coq Apache License 2.0 UpdatedApr 10, 2024 -
Category_Theory_Machine_Learning Public
Forked from bgavran/Category_Theory_Machine_LearningList of papers studying machine learning through the lens of category theory
Python UpdatedMar 30, 2024 -
-
-
zksnark Public
Forked from tokamak-network/researchPython GNU General Public License v3.0 UpdatedFeb 16, 2024 -
Rust Public
Forked from TheAlgorithms/RustAll Algorithms implemented in Rust
Rust MIT License UpdatedJan 21, 2024 -
wg-sigma-protocols Public
Forked from zkpstandard/wg-sigma-protocolsThe official repository containing the documentation of the Sigma Protocols working group.
TeX UpdatedNov 21, 2023 -
ARC-templates Public
Forked from ielab/ARC-templatesLatex Templates for Australian Research Council Discovery and DECRA programs
TeX UpdatedNov 12, 2023 -
-
-
crypto Public
Forked from docknetwork/cryptoRust crypto library for data privacy tools
Rust Apache License 2.0 UpdatedOct 19, 2023 -
nuscr Public
Forked from nuscr/nuscrA toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
OCaml GNU General Public License v3.0 UpdatedSep 20, 2023 -
Schulzeproperties Public
This repo is intended for verifying properties of Schulze Method
-
ST30_Benchmark Public
Forked from Bromind/ST30_BenchmarkA set of benchmark to compare (multiparty) session types
TeX UpdatedSep 8, 2023 -
-
Mixnets Public
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.
Apache License 2.0 UpdatedAug 7, 2023 -
Collection_of_PhD_Thesis Public
This repo is related to collecting PhD thesis, which is nice and easy to read.
Apache License 2.0 UpdatedJul 24, 2023