Search results
10 packages found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
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 Typescript implementation of the Ethereum Consensus light client
Build a stark from a PIL
Trustless Ethereum Multichain CCIP-Read Gateway
Trustless Ethereum Multichain CCIP-Read Gateway
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
🧰 ZKP SDK for Kai-Turah Harmonic Identity — integrates Prover, Verifier, Auth, Oracle, Gateway & more using Groth16 and Poseidon.
- zkp
- sdk
- phi-network
- kai-turah
- groth16
- poseidon
- wasm
- zero-knowledge
- cryptography
- resonance
- harmonic-identity
- prover
- verifier
- auth
- View more
Snark implementation in C++
🧠 Kai-Turah Unified Harmonic Zero-Knowledge SDK — powered by Groth16, Poseidon, and Resonance Identity
- zkp
- zero-knowledge
- zk-proof
- kai-turah
- phi-network
- groth16
- poseidon
- wasm
- resonance
- identity
- sdk
- auth
- verifier
- prover
A reference library for building JS apps using the Prover documentation.