Showing 1-20 of 226 packages
Silvana Prover
Silvana Mina Prover
Shared code for Aztec Nodes and Prover Nodes.
Prover/verifier executable and API for barretenberg. Default cli arguments are appropriate for running within Noir project structures.
Transaction prover for zkFi transactions
A Typescript implementation of the Ethereum Consensus light client
An interactive display for the Lean 4 theorem prover.
Provide Prover and Type contract for USC
Browser-native ZK prover for VOTER Protocol using Barretenberg/Noir
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
A node package for signing Role Prover requests.
Unicode input mechanism for the Lean 4 theorem prover
Monaco Editor support for the Lean 4 theorem prover.
A PCD representing a proof of ownership of an EdDSA-signed ticket. The prover is able to prove ownership of a ticket corresponding to their semaphore identity, and optionally prove the ticket corresponds to one of a list of valid events. The prover can ke
Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover
A reference library for building JS apps using the Prover documentation.
High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
Component tagger Vite plugin and Babel plugin for JSX metadata