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
- Demo application for circomlib-ml☆10Updated 2 years ago
- Nouns DAO anonymous voting ⌐◨-◨☆10Updated last year
- Axiom smart contracts☆26Updated last year
- ☆31Updated last year
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆13Updated 4 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- ZK Theorem Proving☆10Updated 8 months ago
- Breathe air☆23Updated 11 months ago
- client side proving☆28Updated last month
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆10Updated 2 years ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆20Updated 5 months ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated 11 months ago
- repository for core circom and smart contract☆12Updated 2 years ago
- 🍭 A Solidity library for prime field arithmetic☆16Updated last year
- Base64 encoding for Aztec's noir language☆16Updated last year
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆20Updated last week
- Herodotus EVM contracts☆17Updated 4 months ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 11 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 8 months ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- Groth16 verifier in EVM☆21Updated last year
- ☆22Updated 2 years ago
- ☆10Updated last month
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- I'm encoooderrrring☆11Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆11Updated 9 months ago