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:
- Nouns DAO anonymous voting ⌐◨-◨☆9Updated last year
- Placeholder proof system verifier for EVM☆10Updated last month
- ☆11Updated last year
- ☆10Updated last year
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Updated last year
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- Solidity Merkle Mountain Range library☆13Updated last year
- ☆10Updated last year
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- Core smart contracts of the Conveyor protocol-v0 - DEX aggregator and trustless token swap automation.☆10Updated 2 years ago
- ☆10Updated 2 years ago
- This repo includes the base contracts and circuits for the Bank of JubJub.☆10Updated 5 months ago
- ☆10Updated 2 years ago
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆12Updated 2 years ago
- ☆8Updated 2 years ago
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- reworks of the ctf☆8Updated 2 years ago
- Pack address types to utilize 100% of storage space in Solidity☆11Updated last year
- exotic NFT and ERC20 covered call vaults☆10Updated 3 years ago
- Videos here: https://www.youtube.com/playlist?list=PLYSZ-f9LCH3sEf0UKTLCaZErJeQtK7GCD☆8Updated 4 years ago
- ☆11Updated last year
- ☆10Updated 2 years ago
- ☆11Updated 3 years ago
- ERC4626 Router for Yearn V3 vaults.☆10Updated last year
- solidity compression utility☆20Updated 9 months ago
- This is a project sponsored by Metagov. We are creating a SAFE smart contract implementation that reflects the legal document in an econo…☆11Updated 2 years ago
- ERC1155 extension for approvals and ERC20 conversions☆12Updated last year
- Solidity code☆10Updated 2 years ago
- General space for Solidity smart contract code and notes☆10Updated last year
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆11Updated 3 years ago