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 19, 2026Updated 3 weeks ago
- ☆25Nov 2, 2026Updated last week
- Banquet implementation☆15May 6, 2022Updated 4 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- rust implementation fo the DHT powering the HyperSwarm stack☆18Apr 1, 2022Updated 4 years ago
- 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.
- 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.☆21Oct 7, 2026Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Differential fuzzing for elliptic curves☆25Sep 6, 2023Updated 3 years ago
- Constant-time choose between two variables in Clang/LLVM☆21Apr 14, 2018Updated 8 years ago
- Own Your Decentralized IDentifier☆12Sep 10, 2026Updated 2 months ago
- Post-quantum trusted time-stamping server☆17Sep 13, 2026Updated last month
- Bertie TLS 1.3 Implementation☆139Updated this week
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- 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.
- ☆12Apr 23, 2026Updated 6 months ago
- A streaming rpc system for iroh☆60Updated this week
- ☆15Jul 28, 2023Updated 3 years ago
- ☆12May 7, 2021Updated 5 years ago
- 🏔️ Sync protocol for hash-linked data☆132Updated this week
- data-at-rest updatable threshold encryption KMS server and client☆21Sep 24, 2026Updated last month
- ☆18Dec 8, 2025Updated 11 months ago
- Key transparency server☆38Oct 22, 2026Updated 3 weeks ago
- ☆13Jun 7, 2026Updated 5 months ago
- 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.
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- Rust implementation of NextGraph, a Decentralized, local-first and encrypted ecosystem. With TS, React, Svelte, VueJS and Python bindings…☆97Updated this week
- ☆33Updated this week
- A protocol for autonomous communication between users☆18Oct 21, 2026Updated 3 weeks ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆54Jul 21, 2026Updated 3 months ago
- Please see https://github.com/hacspec/hax☆250Feb 12, 2024Updated 2 years ago
- A local-first, zero-cloud, peer sync wiki for friends and family☆33Apr 26, 2026Updated 6 months ago
- ☆17Apr 1, 2025Updated last year
- An interface for the Juicebox Protocol which provides distributed storage and recovery of secrets using simple PIN authentication.☆69Aug 1, 2026Updated 3 months ago
- 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.
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 10 months ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- ☆15Aug 11, 2020Updated 6 years ago
- ☆14Oct 23, 2026Updated 2 weeks ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- An implementation of an auditable key directory☆337Aug 13, 2026Updated 2 months ago
Are these results useful?