AU-COBRA / PoS-NSBView external linksLinks
A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
☆25Jan 21, 2021Updated 5 years ago
Alternatives and similar repositories for PoS-NSB
Users that are interested in PoS-NSB are comparing it to the libraries listed below
Sorting:
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 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
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 8 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 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
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆32Aug 13, 2019Updated 6 years ago
- Formal verification of the zkWasm project☆16Aug 13, 2024Updated last year
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated last month
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Curated list of rollups on Ethereum and their security guarantees.☆13Feb 3, 2021Updated 5 years ago
- A standalone AES-KW (AES Key Wrap) implementation.☆14Dec 31, 2023Updated 2 years ago
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated 9 months ago
- distributed RSA modulus generation in Rust☆15Mar 19, 2022Updated 3 years ago
- Rust implementation of Zcash multi-signautres☆14Jun 23, 2019Updated 6 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆25May 10, 2020Updated 5 years ago
- ☆15May 27, 2021Updated 4 years ago
- Results of a recent FOIA for NIST documents related to the design of Dual EC DRBG. Via EFF and Rep. Grayson's office. See README for deta…☆24Feb 10, 2015Updated 11 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 4 months ago
- Coq plugin for extracting Rust code☆18Dec 15, 2025Updated 2 months ago
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- ☆15Sep 28, 2020Updated 5 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- ☆17May 26, 2022Updated 3 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆16Jul 26, 2019Updated 6 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- MirageOS traceroute unikernel☆17Dec 4, 2025Updated 2 months ago
- A toolbox for zkSNARKS on Ethereum☆12Dec 17, 2018Updated 7 years ago
- Compiler for BitML☆27Mar 10, 2022Updated 3 years ago
- Sonic implementation in Rust☆18Jun 4, 2019Updated 6 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Apr 17, 2024Updated last year