Proofs of properties of CBC Casper
☆36Oct 7, 2019Updated 6 years ago
Alternatives and similar repositories for cbc-casper-proof
Users that are interested in cbc-casper-proof are comparing it to the libraries listed below
Sorting:
- ☆15Sep 28, 2020Updated 5 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 2 years ago
- geth metrics exporter for Prometheus☆13Jan 21, 2026Updated last month
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- hashmask reverse lookup☆17Feb 2, 2021Updated 5 years ago
- Confidential Transactions with Reusable Commitments on Ethereum☆17Mar 16, 2020Updated 5 years ago
- ☆28Jan 12, 2026Updated last month
- An Introduction to CBC Casper Consensus Protocols☆137Feb 26, 2019Updated 7 years ago
- An elliptic curve verifiable random function☆20May 8, 2023Updated 2 years ago
- interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge☆17May 18, 2022Updated 3 years ago
- iden3 documentation☆14Jan 23, 2024Updated 2 years ago
- ☆17Mar 17, 2023Updated 2 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 4 years ago
- An implementation of publicly verifiable proofs of retrievability☆32Feb 24, 2018Updated 8 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
- BLST-Verification☆23Jan 22, 2026Updated last month
- Gossipsub tests☆17Jun 22, 2022Updated 3 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 3 years ago
- Decentralized monetary trust network☆32Jul 30, 2017Updated 8 years ago
- Understandable notes on blockchain papers.☆21Feb 19, 2019Updated 7 years ago
- a pet hawk that watches peer flux in libp2p dhts 🦅☆20Dec 13, 2019Updated 6 years ago
- This is a Sharding Simulator to study blockchain scalability.☆38Jun 21, 2022Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- OHIE - Blockchain scaling☆34Dec 30, 2020Updated 5 years ago
- Typed mutable SSZ views over cached and immutable binary merkle trees☆29Jul 17, 2024Updated last year
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆48Mar 12, 2021Updated 4 years ago
- ☆229Apr 9, 2019Updated 6 years ago
- rollup implementation☆91Mar 15, 2024Updated last year
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆27Jul 15, 2024Updated last year
- Website!☆22Sep 20, 2022Updated 3 years ago