anoma / researchLinks
Early-stage research related to the Anoma protocols.
☆33Updated last year
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- Formalization of Typhon protocol☆31Updated 9 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆42Updated 3 weeks ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆90Updated this week
- Rust implementation for zcash/pasta☆83Updated 5 months ago
- ☆30Updated 2 years ago
- Secure SGX Sidecar for CosmWasm☆50Updated 2 weeks ago
- ECFFT in Rust☆58Updated 2 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆14Updated 3 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆39Updated last month
- Implementations of proof-carrying data☆35Updated 3 years ago
- Implementation of the Zcash Orchard Protocol☆56Updated last month
- Argument systems for inner pairing products☆43Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated 7 months ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- ☆22Updated 3 months ago
- An advanced fork of Nova (contact:@huitseeker)☆86Updated 7 months ago
- Elliptic curve search experiments☆35Updated 2 years ago
- implentation of Ligerito☆20Updated 4 months ago
- Writing tasm with Rust syntax☆15Updated 4 months ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated last month
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago
- ☆32Updated last year
- Testudo: Spartan + Groth16☆52Updated last year
- ☆40Updated 2 years ago
- ☆24Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- ☆31Updated 5 months ago