Some Rust crates for building zero-knowledge proofs of signature possession.

Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers

Documenting common pitfalls and footguns in Lean

A personal book for cryptography

LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Style and Grammar Checker for 25+ Languages

Anonymous Credential Exchange 2.0

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Lean 4 programming language and theorem prover

Java language server

MIRROR of: https://codeberg.org/mfussenegger/nvim-jdtls

Quickstart configs for Nvim LSP

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

A lattice-based non-interactive folding scheme written in Rust

C++ library for zkSNARKs

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

Versatile framework for multi-party computation

A fast, portable, and easy to use Oblivious Transfer Library

Inkscape extension to assist creating circuit symbols.

MLKEM implementation optimized for embedded microcontrollers