Stars
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Libraries for finite field, elliptic curve, and polynomial arithmetic
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A programming font focused on source code legibility
Space and Time | Proof of SQL
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
get things from one computer to another, safely
A high frequency trading and market making backtesting and trading bot in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…
✨ AI-powered coding, seamlessly in Neovim
Fusio provides file operations on multiple storages across various async runtimes.
Tutorial for writing constraints in the `arkworks` framework
Build AI assistants that interact with your systems
DuckDB is an analytical in-process SQL database management system
A new markup-based typesetting system that is powerful and easy to learn.
Docker images for compiling static Rust binaries using musl-cross
Invoke is a leading creative engine for Stable Diffusion models, empowering professionals, artists, and enthusiasts to generate and create visual media using the latest AI-driven technologies. The …
🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).
dadbod.vim: Modern database interface for Vim
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…
WireHole is a combination of WireGuard, Pi-hole, and Unbound in a docker-compose project with the intent of enabling users to quickly and easily create a personally managed full or split-tunnel Wir…