A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
☆178Jun 11, 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 universal local-first sync platform for all documents, devices, and networks☆15Jun 27, 2026Updated 3 weeks ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 3 months ago
- Banquet implementation☆15May 6, 2022Updated 4 years ago
- ☆24Updated this week
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆19Jun 22, 2026Updated 3 weeks ago
- 🏔️ Sync protocol for hash-linked data☆95Jul 13, 2026Updated last week
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- demo of editing JSON-LD using LOV vocabularies☆17Nov 28, 2016Updated 9 years ago
- A draft proposal for the transparency mechanism for the WAICT spec☆28May 27, 2026Updated last month
- Own Your Decentralized IDentifier☆12Jun 27, 2026Updated 3 weeks ago
- A streaming rpc system for iroh☆55Updated this week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 2 months ago
- Rust implementation of NextGraph, a Decentralized, local-first and encrypted ecosystem. With TS, React, Svelte, VueJS and Python bindings…☆91Jun 25, 2026Updated 3 weeks ago
- ☆19Dec 8, 2025Updated 7 months ago
- ☆14Apr 14, 2025Updated last year
- A protocol for autonomous communication between users☆16Updated this week
- ☆12May 7, 2021Updated 5 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 10 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Updated this week
- A secure, frugal P2P streamed file transfer tool with ring-based access control. Built on iroh.☆20Jul 14, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆33Updated this week
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- A local-first, zero-cloud, peer sync wiki for friends and family☆33Apr 26, 2026Updated 2 months ago
- A Rust library for validating CBOR or JSON data against a CDDL schema specification☆15Feb 15, 2026Updated 5 months ago
- Specification for a Fediverse Directory Server for Public Keys☆183Jul 14, 2026Updated last week
- 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 11 months ago
- Constant-time choose between two variables in Clang/LLVM☆21Apr 14, 2018Updated 8 years ago
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆68Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A script to scrape and follow people on Farcaster☆14Nov 3, 2023Updated 2 years ago
- A local-first, peer-to-peer app platform, based on Zed☆16Jun 29, 2026Updated 3 weeks ago
- Go implementation of did:plc☆16Apr 15, 2026Updated 3 months ago
- Rust library for realistic network simulation via Linux namespaces☆33Jul 10, 2026Updated last week
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- ☆16Aug 14, 2024Updated last year
- Air is a free and easy-to-use secure messaging app.☆68Updated this week