AZTEC protocol specification
☆31Feb 12, 2020Updated 6 years ago
Alternatives and similar repositories for aztec-v1-specification
Users that are interested in aztec-v1-specification are comparing it to the libraries listed below
Sorting:
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Feb 18, 2022Updated 4 years ago
- Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty☆633Dec 13, 2022Updated 3 years ago
- ☆19May 5, 2020Updated 5 years ago
- AZTEC protocol trusted setup MPC☆33Jun 25, 2024Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- ☆19Aug 4, 2022Updated 3 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- Circuits used by heyanon☆21Sep 14, 2022Updated 3 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- Simple BCH addresses translator☆13Mar 8, 2023Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- ☆24Mar 8, 2023Updated 2 years ago
- Typescript typings for Truffle☆11Apr 11, 2022Updated 3 years ago
- ☆10Sep 20, 2022Updated 3 years ago
- ☆11Aug 11, 2024Updated last year
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 3 months ago
- ☆10Jun 5, 2022Updated 3 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- ☆13Feb 2, 2021Updated 5 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆13Jan 24, 2023Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12May 31, 2019Updated 6 years ago
- Comparison of leading error-correcting code implementations☆12Aug 19, 2022Updated 3 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- Source code for 'Ethereum for Web Developers' by Santiago Palladino☆46Oct 4, 2023Updated 2 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆13Nov 2, 2018Updated 7 years ago
- ☆17Jun 3, 2022Updated 3 years ago
- Curated list of rollups on Ethereum and their security guarantees.☆13Feb 3, 2021Updated 5 years ago