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
- Nouns DAO anonymous voting ⌐◨-◨☆10Updated last year
- Demo application for circomlib-ml☆10Updated last year
- ☆10Updated last year
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Noir library to verify JWT tokens, and prove claims.☆16Updated last week
- ☆14Updated 11 months ago
- ZK Theorem Proving☆10Updated 5 months ago
- ☆10Updated last year
- 🍭 A Solidity library for prime field arithmetic☆16Updated last year
- Keccak-f[1600] permutation in the EVM☆25Updated 2 months ago
- BN254 Pairing Implementation in Noir☆21Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 9 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- Circuits for Pluto's `web-prover`☆15Updated this week
- Axiom smart contracts☆26Updated last year
- Herodotus Data Processor using SP1 as backend☆15Updated 2 months ago
- Herodotus EVM contracts☆17Updated 2 months ago
- Placeholder proof system verifier for EVM☆11Updated 2 weeks ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆15Updated 8 months ago
- ☆10Updated last year
- ☆10Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- I'm encoooderrrring☆11Updated 2 years ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Updated 10 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago