TypeScript SDK for assembling Anyware proof bundles for trustless Ethereum state verification on EIP-4788 destination chains.
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.
Client for interacting with the Midnight ZK proof generation service.
Transport-agnostic TypeScript client for the Anyware Serverless Engine. Supports subscribe, unsubscribe, publish, and disconnect over any compatible transport.
Silvana Prover
A library to generate chains of trust proving DNS records via DNSSEC
Component tagger Vite plugin and Babel plugin for JSX metadata
Silvana Mina Prover
bitcoin SPV proofs in Solidity
bitcoin SPV proofs in Solidity
Game logic for anyWare
Hydra S1 Proving scheme
Groth16 proof generation for the b402 Solana shielded pool (transact + adapt circuits)
Web-based Groth16 ZK prover for Umbra Privacy using snarkjs
Solidity verifier contracts for Anyware trustless Ethereum state verification.
ZK Compression: Secure Scaling on Solana
Pythia 1 Proving scheme
Trustless Ethereum Multichain CCIP-Read Gateway
TypeScript SDK that routes Aztec private kernel proving to a local native accelerator, bypassing browser WASM throttling. Zero-config — auto-detects the [Aztec Accelerator](../../packages/accelerator) desktop app on localhost, falls back to WASM if unavai