witnet / vrf-solidity
Verifiable Random Function (VRF) library written in Solidity
☆96Updated 2 years ago
Related projects: ⓘ
- Elliptic Curve arithmetic operations written in Solidity☆166Updated last year
- A simple but practical (zero knowledge) hello world project, built for Ethereum☆74Updated 4 years ago
- non-custodial exchange build with rollup☆104Updated last year
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆98Updated 5 months ago
- This repository contains a tutorial on how to build roll_up with Circom☆82Updated 5 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆63Updated 3 years ago
- Full BigNumber library implementation for Solidity.☆92Updated 2 months ago
- Samples of Ethereum smart contracts, golang and circom for beginners.☆38Updated last year
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆70Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- rollup implementation☆91Updated 6 months ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆87Updated 9 months ago
- Trustlessly prove a past storage value in a contract to other contracts☆141Updated last year
- Ethereum-based Distributed Key Generation Protocol☆54Updated 2 years ago
- Solidity RSA Sha256 Pkcs1 Verification☆85Updated 3 months ago
- ☆31Updated 9 months ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆68Updated last year
- ☆122Updated 5 years ago
- Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.☆216Updated last year
- A solidity library for Ethereum's RLP decoding☆202Updated last year
- Javascript library to work with circomlib circuits☆74Updated last week
- An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.☆36Updated 4 years ago
- yellow paper for roll_up token☆66Updated 5 years ago
- MicroMix: A noncustodial Ethereum mixer☆91Updated 4 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 6 months ago
- General Purpose Atomic Crosschain Transaction Protocol☆81Updated 2 months ago
- Implements hermez network zk-Snarks circuits☆55Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- Ethereum smart contracts that enable the verification of transactions of a "target" blockchain on a different "verifying" blockchain in a…☆38Updated last year