No description provided.
No description provided.
A Typescript implementation of the Ethereum Consensus light client
CLI to prune unused dependencies based on dist output
Shared code for Aztec Nodes and Prover Nodes.
Production‑ready ESLint plugin that suggests corrections for typos in TypeScript/JavaScript code. Built with Functional Core / Imperative Shell and Effect‑TS.
Component tagger Vite plugin and Babel plugin for JSX metadata
Client for interacting with the Midnight ZK proof generation service.
A library to generate chains of trust proving DNS records via DNSSEC
Silvana Mina Prover
Silvana Prover
basic_timeline improved, VT func setup vide html element id with name arg.- DISABLE RAYCAST DEBUG TEST [2.3.3] Fix for GUI win desktop [2.3.0] DestrucMesh solution & loading convex objs for physics BASIC, SpriteAnimation CPU/texture solution added, Improv
AI RPG Engine gothic horror starter: Crimson Court
Web-based Groth16 ZK prover for Umbra Privacy using snarkjs
bitcoin SPV proofs in Solidity
bitcoin SPV proofs in Solidity
Groth16 proof generation for the b402 Solana shielded pool (transact + adapt circuits)
download file like a vampire
Hydra S1 Proving scheme
ZK Compression: Secure Scaling on Solana
Pythia 1 Proving scheme
Trustless Ethereum Multichain CCIP-Read Gateway
Shadowless slots.
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
Safe Rust bindings to the Vampire theorem prover for first-order logic
Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)