osuketh / stark-rust
zk-STARK for fibonacci sequence in Rust
☆38Updated 5 years ago
Alternatives and similar repositories for stark-rust:
Users that are interested in stark-rust are comparing it to the libraries listed below
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- Pairing cryptography library in Rust☆34Updated last year
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- Zero Knowledge Proofs Toolkit for CKB☆67Updated 2 years ago
- Threshold BLS Signatures and DKG☆76Updated this week
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Zero knowledge succinct arguments of knowledge, written in Rust☆59Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆88Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆28Updated last year
- Aggregatable Distributed Key Generation☆47Updated 3 years ago
- A generalized merkle mountain range implementation.☆57Updated last month
- A library for supporting zk-SNARKs to Substrate☆31Updated 2 years ago
- DEPRECATED☆22Updated 4 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- Simple RSA VDF in Rust☆19Updated 4 years ago
- ☆20Updated 2 years ago
- BLS Signatures in Rust☆79Updated last week
- Argument systems for inner pairing products☆42Updated 8 months ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆76Updated 2 years ago
- Stateless Blockchain on Substrate using RSA Accumulators☆65Updated 2 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆65Updated 5 years ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆102Updated 4 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry☆33Updated 2 years ago
- Accumulators and Vector Commitments☆43Updated 2 years ago
- Aggregatable BLS sigantures☆71Updated last week
- Code for offchain workshop.☆27Updated 2 years ago