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☆37Updated 2 years ago
- A transducer library for Rust☆10Updated 9 years ago
- ☆14Updated 9 years ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 9 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 11 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Session types for asynchronous networking☆21Updated 10 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆64Updated 2 months ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 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☆116Updated 2 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 11 years ago
- ☆25Updated 3 years ago
- A message broadcasting library based on the Plumtree/HyParView algorithms☆33Updated 4 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆15Updated 4 years ago
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 10 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Updated 9 years ago
- A cryptographically verifiable access control and directory system for Linux servers☆55Updated 8 years ago
- Conduit-like data processing library for Rust☆54Updated 10 years ago
- Byzantine-fault-tolerant time synchronization☆42Updated 4 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 9 months ago
- Tool for uploading unikernels into EC2☆77Updated 7 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆33Updated last year
- ☆40Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- ☆11Updated 9 years ago
- Rust wrapper around epoll and kqueue☆46Updated 2 years ago