Search results

10 packages found

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).

published version 4.15.2, 13 days ago7 dependents licensed under $MIT
9,197

A Typescript implementation of the Ethereum Consensus light client

published version 1.31.0, a month ago0 dependents licensed under $Apache-2.0
5,473

Build a stark from a PIL

published version 0.0.58, a year ago0 dependents licensed under $UNLICENSED
526

Trustless Ethereum Multichain CCIP-Read Gateway

published version 1.2.3, 25 days ago0 dependents
514

Trustless Ethereum Multichain CCIP-Read Gateway

published version 0.0.2, 2 months ago0 dependents
77

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).

published version 0.1.4, 3 months ago0 dependents licensed under $MIT
67

🧰 ZKP SDK for Kai-Turah Harmonic Identity — integrates Prover, Verifier, Auth, Oracle, Gateway & more using Groth16 and Poseidon.

published version 0.1.4, 3 months ago0 dependents licensed under $Apache-2.0
28

Snark implementation in C++

published version 0.0.2, 2 years ago0 dependents licensed under $GPL-3.0
22

🧠 Kai-Turah Unified Harmonic Zero-Knowledge SDK — powered by Groth16, Poseidon, and Resonance Identity

published version 0.1.4, 3 months ago0 dependents licensed under $Apache-2.0
20

A reference library for building JS apps using the Prover documentation.

published version 1.0.1, 2 years ago0 dependents licensed under $Apache-2.0
11