narodnik / math-notes
math notes under one roof
☆19Updated 2 months ago
Alternatives and similar repositories for math-notes:
Users that are interested in math-notes are comparing it to the libraries listed below
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- ☆13Updated last year
- Benchmark of ZKVMs and Proving Schemes☆20Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆18Updated 2 years ago
- ☆15Updated 7 months ago
- ECDSA gadgets for plonky2☆17Updated last year
- ☆14Updated 3 years ago
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Updated 4 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆25Updated 2 weeks ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Updated 2 years ago
- ☆23Updated 9 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 2 months ago
- Extracting the semantics of Noir to Lean for formal verification☆19Updated this week
- Polymath: Groth16 Is Not The Limit☆29Updated 4 months ago
- ☆19Updated this week
- ☆12Updated 3 weeks ago
- A support library for working with zero knowledge cryptography in Lean 4.☆34Updated 9 months ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- ZK Theorem Proving☆10Updated 5 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆57Updated this week
- ☆18Updated this week
- ☆15Updated last year
- ☆12Updated last year
- ☆28Updated 3 weeks ago