Tetration-Lab / turing-zero
Turing machine ZKVM
☆10Updated 10 months ago
Related projects: ⓘ
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- Axiom smart contracts☆27Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Breathe air☆21Updated 4 months ago
- Secp256k1 Elliptic Curve Library Written In Huff (lost all my stars)☆5Updated 11 months ago
- 🍭 A Solidity library for prime field arithmetic☆16Updated 7 months ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- BigInt library for Aztec's noir language☆30Updated 6 months ago
- an introduction to noir, with simple examples☆43Updated 8 months ago
- ☆39Updated last year
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 4 months ago
- ☆37Updated 2 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆22Updated last year
- ☆36Updated 2 months ago
- Proof contribute to github using zk☆21Updated last year
- A graph library built with Cairo☆27Updated 2 years ago
- ☆10Updated 7 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- ☆16Updated 7 months ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆15Updated 4 months ago
- Starport is a kernel for building lending protocols☆24Updated 3 months ago
- utilities for more granular and realistic gas measuring in forge tests☆27Updated 7 months ago
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- ☆19Updated this week
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆16Updated last month
- Elliptic curve cryptography in pure Solidity for on- and offchain operations☆53Updated last week
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated 7 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Curta CTF #12☆20Updated 11 months ago