Essential zero-knowledge utility library for JavaScript developers.
A JavaScript library for adding points to the curve.
A JavaScript EdDSA library for secure signing and verification using Poseidon the Baby Jubjub elliptic curve.
Lean Incremental Merkle tree implementation in TypeScript.
regex verification circuits in circom for common regexes, generated with the compiler in [zk-regex](https://github.com/zkemail/zk-regex/tree/main).
Lean Incremental Merkle tree implementation in TypeScript.
Incremental Merkle tree implementation in TypeScript.
Poseidon encryption and decryption in TypeScript.
Incremental Merkle tree implementation in TypeScript.
The `circuits` package exports the circom circuits needed for building on ZK Email.
A comprehensive library of general-purpose zero-knowledge circuits.
Utilities for downloading snark artifacts
Incremental Merkle tree implementation in TypeScript.
Sparse Merkle tree implementation in TypeScript.
Essential zero-knowledge utility library for JavaScript developers.
A circuit to calculate the root of a binary Merkle tree using a provided proof-of-membership.
A Software Development Kit (SDK) for Zero-Knowledge Transactions
No description provided.
Incremental Merkle tree implementations in Solidity.
Shared, persistent memory for AI assistants, built on the Zettelkasten method.
MidnightJS module for reading proving and verifying keys and ZK intermediate representation
The `circuits` package exports the circom circuits needed for building on ZK Email.
Sparse Merkle tree implementation in TypeScript.
Hardhat plugin for integration with zksync-ethers library
AluVM ISA extension for Galois fields
Transactional execution layer with capability-based memory access for zk-AluVM
Formally-verifiable distributed software
Runtime environment for formally-verifiable distributed software
API for formally-verifiable distributed contracts
Structured calls to for SONIC distributed contracts
Filesystem persistence for SONIC smart contracts
URL-based request builders and parsers for SONIC distributed contracts
Command-line tool for working with SONIC machines and contracts