0xProject / VDFLinks
A Solidity implementation of a VDF verifier contract
☆16Updated 2 years ago
Alternatives and similar repositories for VDF
Users that are interested in VDF are comparing it to the libraries listed below
Sorting:
- 😈 Demonstration how to manipulate VRF randomness of Chainlink☆29Updated 4 years ago
- A toolkit to compile and debug circom circuit.☆27Updated last year
- BLS typescript wrapper to interact with the contract☆15Updated 3 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 5 years ago
- ☆18Updated 2 years ago
- Solidity error logging☆23Updated 3 years ago
- ☆18Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated last year
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- Solidity verifier for Plonk☆42Updated last year
- ☆39Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Updated last year
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆17Updated 4 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- BLS threshold signature verification in Solidity☆19Updated 6 years ago
- Delay Function Verification Smart Contract☆28Updated 4 years ago
- ☆19Updated 3 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Updated 2 years ago
- A Curve-like AMM for Secret Network☆16Updated 4 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 8 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- ☆23Updated 4 years ago
- ☆17Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago