Verify DomainKeys Identified Mail signatures

Create and modify PDF documents in any JavaScript environment

System-wide Web3 for macOS, Windows and Linux

HACL*, a formally verified cryptographic library written in F*

Faucet for EVM chains

Javascript library to work with circomlib circuits

Big integer arithmetic and secp256k1 ECC operations in circom

A toolkit for polynomial IOPs (PIOPs)

The Halo2 zero-knowledge proving system

Zero-Knowledge Proof Implementation for Passwords and Other Secrets

Zero-Knowledge Proofs (ZKP) allow a party to prove knowledge of a value to another party without revealing the actual value. This Python implementation provides a simple ZKP framework, enabling sec…

The unified stack for multi-agent systems.

display ethereum network as graph

SuperPrompt is an attempt to engineer prompts that might help us understand AI agents.

provides metadata for networkIDs and chainIDs