chop-logic-core

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

v1.4.0 URL: https://unpkg.com/chop-logic-core@1.4.0/lib/index.cjs

Open Browse Files

chop-logic logic propositional-logic proof-system typescript formal-logic hilbert natural-deduction

@api-mertering-zk/proof-system

Zero-knowledge proof system for API metering using Noir and bb.js

v1.2.0 URL: https://unpkg.com/@api-mertering-zk/proof-system@1.2.0/dist/index.js

Open Browse Files

zero-knowledge proof-system noir bb.js api-metering zk-snark ethereum api-payments