NilFoundation / evm-placeholder-verificationLinks
Placeholder proof system verifier for EVM
☆10Updated 3 months ago
Alternatives and similar repositories for evm-placeholder-verification
Users that are interested in evm-placeholder-verification are comparing it to the libraries listed below
Sorting:
- ☆10Updated last year
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 3 years ago
- solidity compression utility☆20Updated 11 months ago
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated 2 years ago
- Solidity code☆10Updated 2 years ago
- ☆10Updated 2 years ago
- This is a Node.js wrapper around ZoKrates.☆10Updated 5 years ago
- exotic NFT and ERC20 covered call vaults☆10Updated 3 years ago
- ☆11Updated last year
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- Solidity Merkle Mountain Range library☆12Updated last year
- ERC4626 Router for Yearn V3 vaults.☆11Updated last year
- ☆10Updated 6 years ago
- ☆11Updated 3 years ago
- This repo includes the base contracts and circuits for the Bank of JubJub.☆10Updated 7 months ago
- Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]☆10Updated 3 years ago
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆11Updated 4 years ago
- Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.☆13Updated 2 weeks ago
- General space for Solidity smart contract code and notes☆10Updated last year
- ☆11Updated 3 years ago
- various contracts to set off or receive cross-chain calls☆10Updated 3 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
- Turing machine ZKVM☆10Updated last year
- Core smart contracts of the Conveyor protocol-v0 - DEX aggregator and trustless token swap automation.☆10Updated 2 years ago
- ☆11Updated 3 years ago
- ☆10Updated last year
- ☆11Updated last year
- A ERC998 Top Down Composable and Enumerable Contract with tests for Solidity ^0.8.0☆10Updated 3 years ago