Tetration-Lab / turing-zeroLinks
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:
- Demo application for circomlib-ml☆10Updated 2 years ago
- Nouns DAO anonymous voting ⌐◨-◨☆9Updated last year
- ☆10Updated last year
- ☆10Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- ☆10Updated last year
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated 11 months ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- Placeholder proof system verifier for EVM☆10Updated last week
- reworks of the ctf☆8Updated 2 years ago
- ☆10Updated 2 years ago
- EIP-4626: Yield Bearing Vault Standard☆7Updated 3 years ago
- An alternative calldata encoding scheme for Solidity contracts.☆10Updated last year
- I'm encoooderrrring☆11Updated 2 years ago
- solidity compression utility☆20Updated 9 months ago
- Solidity Merkle Mountain Range library☆13Updated 11 months ago
- ☆10Updated 3 years ago
- Core smart contracts of the Conveyor protocol-v0 - DEX aggregator and trustless token swap automation.☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆11Updated 2 years ago
- Solidity code☆10Updated 2 years ago
- ☆10Updated last year
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Updated last year
- ☆8Updated 2 years ago
- ☆9Updated 2 years ago