Research and specification for Big Brother protocol
☆13Jul 17, 2019Updated 6 years ago
Alternatives and similar repositories for bigbrother-specs
Users that are interested in bigbrother-specs are comparing it to the libraries listed below
Sorting:
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- a series of runtime upgrade proposals for Polkadot's monetary policy☆10Sep 27, 2019Updated 6 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- ☆14May 3, 2019Updated 6 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- Minimal Viable Data Sync Implementation☆13Aug 29, 2023Updated 2 years ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆16Aug 25, 2020Updated 5 years ago
- Mix Network Bibliography☆15Feb 6, 2020Updated 6 years ago
- HODLcoin - an ERC20 token that rewards hodlers.☆14Dec 24, 2017Updated 8 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆15Jul 26, 2019Updated 6 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- An implementation of the SWIM gossip protocol in Rust using tokio-rs.☆14Mar 13, 2021Updated 4 years ago
- 🦀 Rust implementation of sinkhole private information retrieval☆16Apr 16, 2021Updated 4 years ago
- ☆34Feb 17, 2021Updated 5 years ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆16Apr 28, 2022Updated 3 years ago
- A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.☆17Apr 13, 2022Updated 3 years ago
- Compact linkable ring signatures. A modification on MLSAG.☆19May 10, 2020Updated 5 years ago
- ☆19May 5, 2020Updated 5 years ago
- ☆17Feb 3, 2024Updated 2 years ago
- ☆42Apr 12, 2020Updated 5 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- A set of utilities (currently in alpha) for exploring Solidity contracts☆22Jul 7, 2018Updated 7 years ago
- repository for tracking open tasks☆17Dec 15, 2017Updated 8 years ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆19Apr 29, 2019Updated 6 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 5 years ago
- Mirror of all PDFs from the IACR's eprint☆47Jan 15, 2024Updated 2 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- A mock ENS system builder for developing and testing applications using ENS☆19Sep 4, 2020Updated 5 years ago
- basic on the project☆18Apr 12, 2019Updated 6 years ago
- ☆23Jul 11, 2021Updated 4 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆24May 10, 2020Updated 5 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- Mixnet and Anonymous Communication Networks (ACN) research☆22Oct 7, 2019Updated 6 years ago