axic / zkoisc
Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.
☆13Updated 3 years ago
Alternatives and similar repositories for zkoisc:
Users that are interested in zkoisc are comparing it to the libraries listed below
- Fawkes-Crypto - zkSNARKs framework☆21Updated 11 months ago
- Installation tooling for Noir☆24Updated 6 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Solidity verifier for Plonk☆41Updated 5 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Simple implementation of KZG commitments in C☆33Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- ☆10Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆15Updated last year
- Implementations of proof-carrying data☆33Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆61Updated last year
- ☆28Updated last year
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Updated 4 years ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- ☆26Updated last year
- Rescue and Poseidon hash function implementations☆42Updated 5 months ago
- ☆12Updated 3 weeks ago
- Benchmarking Polynomial Commitments☆47Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated 10 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- A toolkit to compile and debug circom circuit.☆28Updated last year
- circom runtime☆20Updated 3 months ago
- ☆17Updated last year
- ☆20Updated 3 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- ☆26Updated 2 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- ☆28Updated 3 weeks ago