Search results

pil-stark

Build a stark from a PIL

• stark
• pil
• zksnark
• prover
• polygon
• hermez

jbaylina

published 0.0.57 • 3 months agopublished 0.0.57 3 months ago

z3-solver

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

• Z3
• theorem
• prover
• solver
• satisfiability
• smt
• satisfiability modulo theories

nbjorner

published 4.13.0 • 2 months agopublished 4.13.0 2 months ago

prover

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

• prover
• proof of work
• crypto
• secure

poursal

published 1.0.1 • 4 months agopublished 1.0.1 4 months ago

dtk-z3-solver-deno-v2

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

• Z3
• theorem
• prover
• solver
• satisfiability
• smt
• satisfiability modulo theories

rpelavin

published 0.0.7 • 2 months agopublished 0.0.7 2 months ago

rapidsnark

Snark implementation in C++

• snark
• prover
• ethereum
• rollup
• zksnark
• zero
• knowledge
• fast

jbaylina

published 0.0.2 • a year agopublished 0.0.2 a year ago

@lodestar/prover

A Typescript implementation of the Ethereum Consensus light client

• ethereum
• eth-consensus
• beacon
• api
• blockchain
• prover

wemeetagain

published 1.18.0 • 2 days agopublished 1.18.0 2 days ago