A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
☆179Jun 11, 2026Updated 2 months ago
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 last month
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆27Mar 25, 2026Updated 4 months ago
- Banquet implementation☆15May 6, 2022Updated 4 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆20Aug 3, 2026Updated last week
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 years ago
- 🏔️ Sync protocol for hash-linked data☆105Updated this week
- demo of editing JSON-LD using LOV vocabularies☆17Nov 28, 2016Updated 9 years ago
- Differential fuzzing for elliptic curves☆25Sep 6, 2023Updated 2 years ago
- A draft proposal for the transparency mechanism for the WAICT spec☆29May 27, 2026Updated 2 months ago
- Own Your Decentralized IDentifier☆12Jun 27, 2026Updated last month
- A streaming rpc system for iroh☆57Jul 27, 2026Updated 2 weeks ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 3 months ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- Rust implementation of NextGraph, a Decentralized, local-first and encrypted ecosystem. With TS, React, Svelte, VueJS and Python bindings…☆92Aug 7, 2026Updated last week
- ☆19Dec 8, 2025Updated 8 months ago
- A protocol for autonomous communication between users☆17Updated this week
- ☆14Apr 14, 2025Updated last year
- ☆12May 7, 2021Updated 5 years ago
- data-at-rest updatable threshold encryption KMS server and client☆21Apr 16, 2026Updated 3 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated 3 weeks ago
- A secure, frugal P2P streamed file transfer tool with ring-based access control. Built on iroh.☆21Jul 27, 2026Updated 2 weeks ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- rust implementation fo the DHT powering the HyperSwarm stack☆18Apr 1, 2022Updated 4 years ago
- ☆17Apr 1, 2025Updated last year
- 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 month
- media livestreaming over iroh☆122Jul 24, 2026Updated 3 weeks ago
- Signed Zero-trust DaTa - signed CBOR for censorship-resistant data☆31Jul 23, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Initial Rust implementation of FAEST☆16Jul 6, 2023Updated 3 years ago
- A script to scrape and follow people on Farcaster☆14Nov 3, 2023Updated 2 years ago
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆71Jul 20, 2026Updated 3 weeks ago
- A local-first, peer-to-peer app platform, based on Zed☆16Jul 29, 2026Updated 2 weeks ago
- Go implementation of did:plc☆17Apr 15, 2026Updated 4 months ago
- Rust library for realistic network simulation via Linux namespaces☆40Jul 29, 2026Updated 2 weeks ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago