kilic / evmvdf
Delay Function Verification Smart Contract
☆28Updated 3 years ago
Alternatives and similar repositories for evmvdf:
Users that are interested in evmvdf are comparing it to the libraries listed below
- Bitcoin Light Client on Ethereum☆40Updated 8 months ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 5 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- ☆20Updated 4 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- ☆28Updated 2 years ago
- Pairing-friendly elliptic curve library☆23Updated 6 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆23Updated 8 months ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆24Updated 7 months ago
- ☆31Updated last year
- Simple implementation of KZG commitments in C☆34Updated 2 years ago
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆50Updated 2 years ago
- ☆26Updated 2 years ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆33Updated 4 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- ☆34Updated last year
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- ☆27Updated 3 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- BLS threshold signature verification in Solidity☆18Updated 6 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago
- A toolkit to compile and debug circom circuit.☆28Updated last year
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 3 years ago
- Decentralised Voting Scheme☆15Updated 3 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆38Updated 5 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated last year
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago