narodnik / math-notes
math notes under one roof
☆25Updated 6 months ago
Alternatives and similar repositories for math-notes
Users that are interested in math-notes are comparing it to the libraries listed below
Sorting:
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 2 months ago
- ☆28Updated last year
- ☆16Updated 11 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆40Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆12Updated last month
- A library for decentralized private computation☆19Updated 3 years ago
- We're living in Obfustopia☆25Updated 4 months ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆25Updated 4 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆15Updated 3 years ago
- ☆24Updated 2 months ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- Polymath: Groth16 Is Not The Limit☆29Updated 3 months ago
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago
- Cryptography In Rust For Hackers☆21Updated last year
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Rust encryption library for practical time-lock encryption.☆29Updated 9 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- powdr application running Ethereum tests via revm☆18Updated 10 months ago
- ☆19Updated 2 weeks ago
- Simplified ed25519 BIP32 derivations☆24Updated last year
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated last year