Official repository for the Boltz biomolecular interaction models

A 100% local edition of the safe wallet

Documentation, code and information for the Safety Critical Rust Consortium

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

A Rust library that provides space-efficient, in-memory representations for integer vectors. It offers two complementary data structures: FixedVec, which uses fixed-width encoding for O(1) mutable …

Veecle Operating System for system development.

Maliciously-Secure Multi-Party Computation (MPC) Engine using Authenticated Garbling

LLZK's Rust SDK

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

Template repository you can clone to start you Risc0 smart contract

Recursive ZK Light Client operator for Tendermint, Ethereum, ...

Modern protobuf package management

A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than linear algebra.

Make your zero-knowledge circuits safe with formal verification! 🍀

Zero-Knowledge Proof of Exploit

An implementation of Olm and Megolm in pure Rust.

Lean circuit DSL

Video stabilization using gyroscope data

Cryptography Educational Foundations

A list of awesome Reth-related resources

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Experimental implementation of Sumcheck protocol using CUDA

Commonware Library Primitives and Examples

Cross-chain interop research, funded by Optimism Governance.

moved to https://codeberg.org/p2502/lspmux

An active, public list of project ideas related to NFCxZK

Prove your self

An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage

An open source payments switch written in Rust to make payments fast, reliable and affordable