AmirH-A / ZKWaveLinks
π‘ ZkWave: Transforming Voice into Secure Proofs π€π
β21Updated 9 months ago
Alternatives and similar repositories for ZKWave
Users that are interested in ZKWave are comparing it to the libraries listed below
Sorting:
- Circuit for generating ethereum account RLPβ10Updated 8 months ago
- Ether, but burnt π₯πͺοΈβ26Updated 7 months ago
- Trusted-Setup ceremony of sigmaB Private Proof of Reservesβ12Updated last year
- Tiny implementation of EVM in pure Rustβ31Updated 7 months ago
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKβ¦β20Updated 5 months ago
- banyan's hot on-chain data storage zk proofsβ14Updated 6 months ago
- ZK proofs for image authenticityβ48Updated 2 months ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spendsβ11Updated 8 months ago
- Circom circuits library for magnificent ZK applicationsβ14Updated 6 months ago
- zkSnark circuit compilerβ12Updated 3 weeks ago
- β33Updated 2 years ago
- TEE stack for Seismicβ17Updated last week
- Compile circom code to llvm partiallyβ12Updated 2 years ago
- β54Updated 6 months ago
- β32Updated last week
- Publicly Verifiable & Private Collaborative ML Model Training in Noirβ13Updated 10 months ago
- A Swiss knife for Noirβ16Updated last week
- A tool to extract gnark circuits defined in Go to Lean for formal verification.β15Updated 8 months ago
- Mozak RISC-V Virtual Machineβ25Updated 8 months ago
- A collection of awesome Miden links, resources and shiny things.β18Updated 6 months ago
- Minimal zkVM, targeting XMSS aggregation and recursion.β58Updated this week
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.β22Updated last year
- On-chain Ethereum light client built with SP1β78Updated this week
- β15Updated 3 weeks ago
- An advanced fork of Nova (contact:@huitseeker)β86Updated 9 months ago
- Ethereum Proof-of-Burn circuits in Circomβ111Updated last week
- Binary Proofs, Blazing Fastβ99Updated 2 weeks ago
- A Language Server Protocol Implementation for Circomβ33Updated 2 years ago
- zero knowledge proof aggregator for general circuitβ73Updated last year
- β115Updated last year