tarcieri / paradoxLinks
Experimental language for verifiable computation using zero-knowledge proofs
☆25Updated 7 years ago
Alternatives and similar repositories for paradox
Users that are interested in paradox are comparing it to the libraries listed below
Sorting:
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 5 months ago
- ☆14Updated 9 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- A transducer library for Rust☆10Updated 9 years ago
- An experimental implementation of nQUIC in Rust☆32Updated 6 years ago
- Session types for asynchronous networking☆20Updated 9 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- authenticated data structures, generically☆52Updated 8 years ago
- BLST-Verification☆22Updated 6 months ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 8 years ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Updated 5 years ago
- Easily create authenticated data structures☆43Updated 2 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Updated 6 months ago
- ☆11Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- A functional smart contract system☆6Updated 6 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 10 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- SPHINCS-256 practical stateless hash-based signature scheme☆26Updated 8 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago