anoma / ferveo
An implementation of a DKG protocol for front-running protection on Anoma.
☆78Updated last year
Related projects: ⓘ
- Formalization of Typhon protocol☆28Updated 3 months ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆88Updated last week
- ☆24Updated this week
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆14Updated 2 years ago
- Configurable Asset Privacy☆33Updated 8 months ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆154Updated last year
- A framework for generalized shielded state transitions☆138Updated this week
- Early-stage research related to the Anoma protocols.☆23Updated 11 months ago
- Implementation of the Zcash Orchard Protocol☆53Updated last month
- Celestia Specifications☆51Updated 2 years ago
- ☆31Updated 5 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆62Updated last week
- EIP1962 implementation effort☆71Updated 2 months ago
- Tower-based ABCI interface.☆75Updated last week
- ☆59Updated 2 years ago
- In-EVM Mina State Verification☆82Updated 10 months ago
- Bridge from Mina to Ethereum☆77Updated this week
- halo2 ecc circuit☆110Updated last year
- A generalized fully trustless Ethereum bridge for sovereign chains.☆12Updated 11 months ago
- Aggregatable Distributed Key Generation☆45Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆118Updated 9 months ago
- Tendermint in Solidity☆60Updated 2 years ago
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- Building generic merkle proof format for IBC☆115Updated this week
- ☆71Updated 6 months ago
- A zkApp based staking pool for MINA☆15Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆74Updated last week
- Rust implementation for zcash/pasta☆80Updated 8 months ago
- BabyJubJub elliptic curve implementation in Rust☆42Updated 7 months ago
- AppliedZKP's zkEVM Documentation☆23Updated 2 months ago