A collection of awesome penetration testing resources, tools and other shiny things

🔓😎 A curated list of awesome guides, tools, and other resources related to the security and compromise of locks, safes, and keys.

💻🛡️ A curated collection of awesome resources, tools, and other shiny things for cybersecurity blue teams.

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses

Computable elliptic-curve abstractions for Lean 4

Common MPC Pitfalls

a memory-bound graph-theoretic proof-of-work system

Equihash miner for NiceHash

Zcash blockchain explorer. Privacy meets transparency.

Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions

Formally verified comparison of exchange designs: who gets exploited and why

Zaino is an indexer for the Zcash blockchain implemented in Rust.

An Interactive interface for "GitHub CLI" client inside GNU Emacs using Consult

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Repo for replacing the zcashd wallet

Zcash "Sapling" cryptography

Cross-platform open source VPN client built in Rust, with mixnet anonymity and WireGuard speed. Protects metadata, not just IP addresses. Zero-knowledge payments for unlinkable online activities.

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

A Sphinx implementation in Rust

Formalization in Lean of the transcendence of π.

A high performance and modular implementation of the Hachi polynomial commitment scheme

A high performance and modular implementation of the Akita polynomial commitment scheme

ZeroOS: A Universal Modular Library OS for zkVMs

Research code base for Automatic Textbook Formalization

Various tools for Poseidon1 and Poseidon2

The Lean Computer Science Library (CSLib)

from vibe coding to agentic engineering - practice makes claude perfect

Accelerating Kimchi zero-knowledge provers via webGPU