A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
☆184Sep 22, 2026Updated last month
Alternatives and similar repositories for prototype
Users that are interested in prototype are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 15, 2026Updated last week
- ☆25Updated this week
- Banquet implementation☆15May 6, 2022Updated 4 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Differential fuzzing for elliptic curves☆25Sep 6, 2023Updated 3 years ago
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 years ago
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆20Oct 7, 2026Updated 2 weeks ago
- ☆12Apr 23, 2026Updated 6 months ago
- Key transparency server☆37Updated this week
- Own Your Decentralized IDentifier☆12Sep 10, 2026Updated last month
- Post-quantum trusted time-stamping server☆17Sep 13, 2026Updated last month
- ☆15Jul 28, 2023Updated 3 years ago
- 🏔️ Sync protocol for hash-linked data☆122Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A streaming rpc system for iroh☆58Oct 15, 2026Updated last week
- Post-Quantum Algorithms for HPKE☆13Jul 6, 2026Updated 3 months ago
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 6 months ago
- A draft proposal for the transparency mechanism for the WAICT spec☆31May 27, 2026Updated 4 months ago
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- ☆12May 7, 2021Updated 5 years ago
- A protocol for autonomous communication between users☆18Sep 29, 2026Updated 3 weeks ago
- data-at-rest updatable threshold encryption KMS server and client☆21Sep 24, 2026Updated 3 weeks ago
- ☆18Dec 8, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Apr 14, 2025Updated last year
- ☆33Updated this week
- Rust implementation of NextGraph, a Decentralized, local-first and encrypted ecosystem. With TS, React, Svelte, VueJS and Python bindings…☆97Sep 30, 2026Updated 3 weeks ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated 3 months ago
- Bertie TLS 1.3 Implementation☆138Oct 1, 2026Updated 3 weeks ago
- An interface for the Juicebox Protocol which provides distributed storage and recovery of secrets using simple PIN authentication.☆67Aug 1, 2026Updated 2 months ago
- A local-first, zero-cloud, peer sync wiki for friends and family☆33Apr 26, 2026Updated 5 months ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- A secure, frugal P2P streamed file transfer tool with ring-based access control. Built on iroh.☆26Sep 25, 2026Updated 3 weeks ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year
- a lil guy that finds similar images in Bluesky profile records☆15Jan 15, 2026Updated 9 months ago
- a CCA-secure module-lattice-based KEM☆17Dec 21, 2018Updated 7 years ago
- A Willow Data Model, Sideloading, and General Purpose Sync protocol implementation in TypeScript.☆84Mar 26, 2025Updated last year
- Constant-time choose between two variables in Clang/LLVM☆21Apr 14, 2018Updated 8 years ago