A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
☆183Sep 22, 2026Updated last week
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 universal local-first sync platform for all documents, devices, and networks☆15Jun 27, 2026Updated 3 months ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆27Mar 25, 2026Updated 6 months ago
- Banquet implementation☆15May 6, 2022Updated 4 years ago
- ☆25Updated this week
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆20Mar 18, 2025Updated last year
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆20Aug 31, 2026Updated last month
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 years ago
- 🏔️ Sync protocol for hash-linked data☆114Updated this week
- demo of editing JSON-LD using LOV vocabularies☆17Nov 28, 2016Updated 9 years ago
- Differential fuzzing for elliptic curves☆25Sep 6, 2023Updated 3 years ago
- A draft proposal for the transparency mechanism for the WAICT spec☆30May 27, 2026Updated 4 months ago
- Own Your Decentralized IDentifier☆12Sep 10, 2026Updated 3 weeks ago
- A streaming rpc system for iroh☆57Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Post-quantum trusted time-stamping server☆17Sep 13, 2026Updated 2 weeks ago
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 5 months ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 8 months ago
- Rust implementation of NextGraph, a Decentralized, local-first and encrypted ecosystem. With TS, React, Svelte, VueJS and Python bindings…☆95Updated this week
- ☆18Dec 8, 2025Updated 9 months ago
- A protocol for autonomous communication between users☆18Updated this week
- ☆12May 7, 2021Updated 5 years ago
- data-at-rest updatable threshold encryption KMS server and client☆21Sep 24, 2026Updated last week
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆33Updated this week
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- A secure, frugal P2P streamed file transfer tool with ring-based access control. Built on iroh.☆25Sep 25, 2026Updated last week
- rust implementation fo the DHT powering the HyperSwarm stack☆18Apr 1, 2022Updated 4 years ago
- A local-first, zero-cloud, peer sync wiki for friends and family☆33Apr 26, 2026Updated 5 months ago
- A Rust library for validating CBOR or JSON data against a CDDL schema specification☆15Feb 15, 2026Updated 7 months ago
- Specification for a Fediverse Directory Server for Public Keys☆181Jul 14, 2026Updated 2 months ago
- a CCA-secure module-lattice-based KEM☆17Dec 21, 2018Updated 7 years ago
- Signed Zero-trust DaTa - signed CBOR for censorship-resistant data☆31Jul 23, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- media livestreaming over iroh☆131Updated this week
- Constant-time choose between two variables in Clang/LLVM☆21Apr 14, 2018Updated 8 years ago
- Initial Rust implementation of FAEST☆18Jul 6, 2023Updated 3 years ago
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆71Sep 16, 2026Updated 2 weeks ago
- Go implementation of did:plc☆17Apr 15, 2026Updated 5 months ago
- Rust library for realistic network simulation via Linux namespaces☆43Updated this week
- Deployments of fancy cryptography☆260Sep 9, 2026Updated 3 weeks ago