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:
- BLS typescript wrapper to interact with the contract☆15Updated 3 years ago
- Solidity implementation of the baby jubjub curve☆21Updated last year
- A toolkit to compile and debug circom circuit.☆27Updated 2 years ago
- 😈 Demonstration how to manipulate VRF randomness of Chainlink☆29Updated 5 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 6 years ago
- Solidity verifier for Plonk☆42Updated last year
- ☆19Updated 3 years ago
- ☆18Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- ☆39Updated 3 years ago
- Solidity error logging☆23Updated 4 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Updated 3 years ago
- Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…☆27Updated 5 years ago
- ☆17Updated 3 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- Pairing-friendly elliptic curve library☆24Updated last year
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16Updated 4 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 3 years ago
- ☆17Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- Decentralised Voting Scheme☆16Updated 4 years ago
- ☆28Updated 4 years ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 4 years ago
- ☆19Updated 3 years ago
- A gate level simulator and gate level netlist standard specification in Cairo☆17Updated 3 years ago