gakonst / solidity-bls
BLS threshold signature verification in Solidity
☆18Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for solidity-bls
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆21Updated 4 months ago
- ☆32Updated 11 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Practical Experiments on how to add complete privacy to flashbots☆47Updated 3 weeks ago
- Batch ECDSA in circom☆32Updated 2 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- yellow paper for roll_up token☆67Updated 5 years ago
- ☆40Updated 10 months ago
- ☆28Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆43Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated 6 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- ☆17Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- ZK-based engine for self-sovereign SQL queries☆84Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆28Updated 5 months ago
- Eth2 CLI debugging tool☆37Updated 8 months ago
- ☆17Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆54Updated 2 weeks ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- A toolkit to compile and debug circom circuit.☆26Updated last year
- polynomial commitments from linear codes☆37Updated last year
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- ☆46Updated 3 years ago
- ☆28Updated last year
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year
- Open-Source Libraries for Circom by ABDK Consulting☆18Updated 4 years ago
- ☆32Updated 10 months ago