w3f / apk-proofs
☆56Updated last year
Alternatives and similar repositories for apk-proofs:
Users that are interested in apk-proofs are comparing it to the libraries listed below
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Cards Against Blockchain☆34Updated 6 months ago
- Arkworks extensions enabling customizable hooks for EC operations☆50Updated last month
- Substrate implementation of the interoperable state machine protocol☆45Updated last year
- Implementation of Plonk by Hand in rust☆61Updated last year
- ☆30Updated 3 weeks ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 3 years ago
- ☆123Updated 6 months ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆42Updated last year
- Webb protocol implementation in Substrate.☆37Updated last year
- ☆42Updated 3 years ago
- Rust implementation of the Modified Patricia Tree (aka Trie).☆20Updated 6 months ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- A generalized merkle mountain range implementation.☆57Updated last month
- On-chain Ethereum light client built with SP1☆48Updated last week
- Rescue and Poseidon hash function implementations☆43Updated 8 months ago
- Rust PLONK implementation☆38Updated 7 months ago
- Multy-party threshold ECDSA (GG20) Substrate node☆60Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆72Updated 3 months ago
- ☆42Updated 9 months ago
- ☆40Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- zkSNARKs as a service using secure multi-party computation.☆30Updated last year
- pallet-contracts chain extensions that allows sending and receiving XCM messages.☆22Updated last year
- Poseidon hash function☆75Updated last year
- keccak256 hash implementation in Circom☆79Updated 3 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- ☆17Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Updated 3 years ago
- ☆45Updated last year