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:
- 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
- ☆14Updated 9 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 8 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 7 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- A disassembler framework☆18Updated 3 years ago
- Byzantine-fault-tolerant time synchronization☆41Updated 4 years ago
- A consistent distributed key-value store☆84Updated 6 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- Session types for asynchronous networking☆21Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- ☆24Updated 7 years ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Updated 6 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Updated 9 years ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Updated 2 years ago
- Tool for uploading unikernels into EC2☆76Updated 7 years ago
- establish trust in community repositories, cryptographically signed by library authors☆36Updated last week
- Parser of ssh public and private keys☆12Updated 5 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- The consistent distributed key-value store in Open vStorage.☆29Updated 6 years ago
- The HexagonE VM☆26Updated 3 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago