GuildOfWeavers / AirAssemblyLinks
Low-level language for encoding AIR of computations
☆38Updated 2 years ago
Alternatives and similar repositories for AirAssembly
Users that are interested in AirAssembly are comparing it to the libraries listed below
Sorting:
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- Argument systems for inner pairing products☆43Updated last year
- Website!☆22Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 3 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 5 years ago
- Arithmetic and polynomial operations in finite fields.☆42Updated 3 years ago
- Coded Merkle Tree☆26Updated 6 years ago
- Sonic implementation in Rust☆18Updated 6 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆52Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- ☆31Updated 2 months ago
- A minimal RedJubjub implementation for use in Zebra.☆30Updated last month
- ☆21Updated 3 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆25Updated 5 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆41Updated 6 years ago
- BLS working standard draft☆40Updated 6 years ago
- ☆47Updated 2 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 4 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Updated 5 years ago
- Blind signatures over secp256k1 elliptic curve☆17Updated 3 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Pairing cryptography library in Rust☆35Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated last year
- ☆38Updated 4 years ago
- circom runtime☆20Updated last year
- A library for supporting zk-SNARKs to Substrate☆30Updated 3 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59Updated 2 years ago