VictorTaelin / lsignLinks
Quantum-proof, 768-bit signatures for 1-bit messages
☆11Updated 5 years ago
Alternatives and similar repositories for lsign
Users that are interested in lsign are comparing it to the libraries listed below
Sorting:
- An implementation of the Formality language in C☆13Updated 6 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 6 years ago
- A Peer-to-Peer Operating System☆36Updated 6 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆114Updated 5 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 6 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Updated 4 years ago
- ☆36Updated 4 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Updated 5 years ago
- Formal verification of the Algorand consensus protocol☆27Updated 3 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- A minimal decentralized computer.☆118Updated 3 years ago
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- Compiler for BitML☆27Updated 3 years ago
- Thoughts and stuff☆70Updated 5 years ago
- authenticated data structures, generically☆55Updated 9 years ago
- A polymorphic interface for elliptic curve operations☆43Updated 2 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆156Updated 4 years ago
- Minimal code-interchange format☆193Updated 5 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆49Updated 6 years ago
- Pure Type Systems for Functional Programming☆11Updated 11 years ago
- State-Transition Systems for Smart Contracts☆25Updated 5 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated last year
- Merkle root algorithms in various languages☆41Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago