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:
- Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty☆632Dec 13, 2022Updated 3 years ago
- AZTEC protocol trusted setup MPC☆33Jun 25, 2024Updated last year
- Circuits used by heyanon☆21Sep 14, 2022Updated 3 years ago
- ☆19May 5, 2020Updated 5 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Simple BCH addresses translator☆13Mar 8, 2023Updated 3 years ago
- ☆10Sep 20, 2022Updated 3 years ago
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- ☆10Jun 5, 2022Updated 3 years ago
- ☆19Aug 4, 2022Updated 3 years ago
- All contents related to the Mina grant program and projects in scope☆15Mar 27, 2022Updated 3 years ago
- ☆14Feb 2, 2021Updated 5 years ago
- ☆18Mar 9, 2025Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 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
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- ☆14Dec 26, 2024Updated last year
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Feb 18, 2022Updated 4 years ago
- ☆24Mar 8, 2023Updated 3 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 6 months ago
- Smart contracts, Cryptography and Relayer that are used at zeropool.network☆25Jan 24, 2023Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- Source code for 'Ethereum for Web Developers' by Santiago Palladino☆46Oct 4, 2023Updated 2 years ago
- Specification of AluVM (algorithmic logic unit VM), its bytecode and assembly language☆13Feb 20, 2024Updated 2 years ago
- Typescript typings for Truffle☆11Apr 11, 2022Updated 3 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- Update or revert to a specific DappTools commit with ease.☆37Jan 3, 2022Updated 4 years ago
- MCD Command-line interface☆18Oct 3, 2022Updated 3 years ago
- The Maker Foundation's highest priority is the security of the Maker protocol. This repository is dedicated to providing transparency to …☆11Oct 20, 2022Updated 3 years ago
- ☆11Feb 6, 2024Updated 2 years ago