Rust implementation of the Prism consensus protocol
☆103Feb 25, 2023Updated 3 years ago
Alternatives and similar repositories for prism-rust
Users that are interested in prism-rust are comparing it to the libraries listed below
Sorting:
- ☆11Oct 7, 2022Updated 3 years ago
- ☆13Jan 18, 2021Updated 5 years ago
- ☆17Feb 3, 2024Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 2 years ago
- ☆47Apr 7, 2023Updated 2 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Jan 24, 2023Updated 3 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- FastPay: High-Performance Byzantine Fault Tolerant Settlement☆85Apr 18, 2022Updated 3 years ago
- Coded Merkle Tree☆25Aug 6, 2019Updated 6 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- ☆16Jun 21, 2021Updated 4 years ago
- OHIE - Blockchain scaling☆34Dec 30, 2020Updated 5 years ago
- Code repository for technical papers about selfish mining analysis.☆13May 16, 2023Updated 2 years ago
- ☆12Jan 14, 2026Updated last month
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 4 years ago
- TU Delft Blockchain Engineering course project on scale-out distributed ledger☆13Mar 4, 2018Updated 8 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- Omnet Simulator for Spider - Routing algorithms for Cryptocurrencies☆15Apr 4, 2021Updated 4 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- A Rust library for building R1CS gadgets☆92Oct 14, 2021Updated 4 years ago
- Randhound and Randherd implementation for IEEE SnP '17 paper☆16Jul 11, 2017Updated 8 years ago
- ☆17Mar 17, 2023Updated 2 years ago
- interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge☆17May 18, 2022Updated 3 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- Super Amazing Universal Composability, Yeah!☆32Apr 26, 2022Updated 3 years ago
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆19Oct 24, 2021Updated 4 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Proof system with plonkup back-end proving arguments☆14Jun 16, 2022Updated 3 years ago
- Byzantine model checker☆21Mar 7, 2023Updated 2 years ago
- Blind signatures over secp256k1 elliptic curve☆17May 17, 2022Updated 3 years ago
- Server for ZKML☆21Mar 5, 2023Updated 3 years ago