protocol / CryptoNetLab
a Public Good Cryptography Lab providing technological empowerment by creating secure building blocks for Web 3.0 protocols
☆15Updated 2 years ago
Alternatives and similar repositories for CryptoNetLab:
Users that are interested in CryptoNetLab are comparing it to the libraries listed below
- Implements hermez network zk-Snarks circuits☆56Updated last year
- ☆26Updated 2 years ago
- Hermez network protocol smart contracts☆37Updated 2 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆18Updated 5 years ago
- AZTEC protocol specification☆31Updated 5 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- ☆27Updated 3 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Updated 11 months ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- Simple implementation of KZG commitments in C☆33Updated 2 years ago
- Elliptic curve search experiments☆35Updated last year
- iden3 documentation☆14Updated last year
- Pairing-friendly elliptic curve library☆23Updated 6 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆43Updated last year
- ☆42Updated 3 years ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 6 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- Decentralised Voting Scheme☆15Updated 3 years ago
- Specification of the RenVM MPC algorithm☆19Updated 4 years ago
- ☆23Updated 4 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- snarkpack for arkwork☆21Updated last year
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- Rust library for decentralized private computation☆18Updated 3 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 2 years ago
- ☆18Updated 4 years ago
- A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.☆14Updated 3 months ago
- Hermez documentation☆9Updated 2 years ago