A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
☆183Jun 11, 2026Updated 3 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 set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 5 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 3 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Mar 18, 2025Updated last year
- 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.
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆20Aug 31, 2026Updated last week
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 years ago
- 🏔️ Sync protocol for hash-linked data☆109Updated 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 3 months ago
- Own Your Decentralized IDentifier☆12Updated this week
- A streaming rpc system for iroh☆57Jul 27, 2026Updated last month
- 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 4 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…☆93Aug 7, 2026Updated last month
- ☆18Dec 8, 2025Updated 9 months ago
- A protocol for autonomous communication between users☆18Aug 19, 2026Updated 3 weeks ago
- ☆14Apr 14, 2025Updated last year
- ☆12May 7, 2021Updated 5 years ago
- data-at-rest updatable threshold encryption KMS server and client☆21Sep 5, 2026Updated last week
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 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.
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated last month
- ☆33Updated this week
- 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
- A local-first, zero-cloud, peer sync wiki for friends and family☆33Apr 26, 2026Updated 4 months ago
- ☆17Apr 1, 2025Updated last year
- A Rust library for validating CBOR or JSON data against a CDDL schema specification☆15Feb 15, 2026Updated 6 months ago
- Specification for a Fediverse Directory Server for Public Keys☆181Jul 14, 2026Updated last month
- a CCA-secure module-lattice-based KEM☆17Dec 21, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Signed Zero-trust DaTa - signed CBOR for censorship-resistant data☆31Jul 23, 2025Updated last year
- media livestreaming over iroh☆126Updated 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.☆71Jul 20, 2026Updated last month
- A local-first, peer-to-peer app platform, based on Zed☆16Jul 29, 2026Updated last month
- Go implementation of did:plc☆17Apr 15, 2026Updated 4 months ago