Tetration-Lab / turing-zero
Turing machine ZKVM
☆10Updated last year
Alternatives and similar repositories for turing-zero
Users that are interested in turing-zero are comparing it to the libraries listed below
Sorting:
- Nouns DAO anonymous voting ⌐◨-◨☆10Updated last year
- Demo application for circomlib-ml☆10Updated 2 years ago
- ☆14Updated 5 months ago
- Axiom smart contracts☆26Updated last year
- BN254 Pairing Implementation in Noir☆22Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated 2 years ago
- ☆14Updated last year
- Breathe air☆23Updated 11 months ago
- Circuits for Pluto's `web-prover`☆21Updated 3 weeks ago
- ☆13Updated last year
- ☆40Updated 2 years ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- client side proving☆28Updated 2 months ago
- ☆28Updated 2 years ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated 11 months ago
- ☆10Updated last year
- ☆15Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆20Updated 6 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 2 months ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- ☆10Updated 2 months ago
- Herodotus EVM contracts☆17Updated 5 months ago
- ☆10Updated 2 years ago
- halo2-lib-eddsa☆11Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- ☆11Updated last year
- Private authentic photo sharing using ZKP☆25Updated 2 years ago