kilic / evmvdfLinks
Delay Function Verification Smart Contract
☆28Updated 4 years ago
Alternatives and similar repositories for evmvdf
Users that are interested in evmvdf are comparing it to the libraries listed below
Sorting:
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- yellow paper for roll_up token☆67Updated 6 years ago
- Practical Experiments on how to add complete privacy to flashbots☆47Updated 9 months ago
- A Solidity implementation of a VDF verifier contract☆16Updated 2 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- ☆30Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ☆39Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 11 months ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆57Updated 8 months ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆25Updated last year
- Eth2 CLI debugging tool☆38Updated 5 months ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- ☆27Updated 2 years ago
- Bitcoin Light Client on Ethereum☆42Updated last year
- A toolkit to compile and debug circom circuit.☆28Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Pairing-friendly elliptic curve library☆24Updated 11 months ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 5 years ago
- ☆17Updated 3 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆28Updated 4 years ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- Solidity error logging☆23Updated 3 years ago
- My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome☆67Updated 3 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago