QED-it / zkinterface-wasm
ZkInterface WebAssembly
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for zkinterface-wasm
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Implementations of proof-carrying data☆31Updated 2 years ago
- Simple implementation of KZG commitments in C☆33Updated last year
- Pairing-friendly elliptic curve library☆23Updated 3 months ago
- ☆19Updated 4 years ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- Simple RSA VDF in Rust☆19Updated 3 years ago
- ☆17Updated 6 years ago
- Elliptic curve search experiments☆35Updated last year
- ☆26Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- DEPRECATED☆22Updated 3 years ago
- A generalized merkle mountain range implementation.☆52Updated last year
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 5 years ago
- ☆30Updated 2 years ago
- ☆9Updated 5 years ago
- Decentralised Voting Scheme☆15Updated 2 years ago
- Coded Merkle Tree☆26Updated 5 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Updated 9 months ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- Traits and utilities for working with finite fields☆17Updated 3 months ago
- Merkle-Mountain-Range library☆17Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆36Updated 5 years ago
- Efficient multi-asset confidential transactions☆34Updated 5 years ago
- Presentations about R1CS☆18Updated 5 years ago
- EVM interpreter compatible with the evm2wasm interface☆42Updated 2 years ago
- ☆28Updated last year
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago