Proofs | npm.io

Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.

precise proofs privacy merkle energyweb ewf origin

1.2.0 • Published 4 years ago

Precise Proofs validation for javascript(https://github.com/centrifuge/precise-proofs)

1.0.3 • Published 5 years ago

(https://github.com/centrifuge/react-dapp-requirements)

0.1.12 • Published 5 years ago

Inductive programming for JavaScript

type types ast abstract-syntax-tree abstract syntax tree induction inductive inductive-programming

0.2.1 • Published 8 years ago

A tool for checking, verifying, archiving and studying mathematical proofs

1.0.1 • Published 3 years ago

Linked Data Proofs on the Tangle. Powered by IOTA Identity & IOTA Streams

iota chrysalis streams identity linked data proofs signatures

0.9.6-1 • Published 2 years ago

Linked Data Proofs on the Tangle. Powered by IOTA Identity & IOTA Streams

iota chrysalis streams identity linked data proofs signatures

0.9.2 • Published 3 years ago

Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.

precise proofs privacy merkle energyweb ewf origin

1.2.0 • Published 2 years ago

Wasm module for the ezkl zkml library

wasm zk-snarks proofs verification

1.0.0 • Published 12 months ago

Wasm module for the ezkl zkml library

wasm zk-snarks proofs verification

1.0.0 • Published 12 months ago

Wasm module for the ezkl zkml library

wasm zk-snarks proofs verification

1.0.0 • Published 11 months ago

Wasm module for the ezkl zkml library

wasm zk-snarks proofs verification

1.0.0 • Published 11 months ago

Wasm module for the ezkl zkml library

wasm zk-snarks proofs verification

1.0.0 • Published 11 months ago

A tool for checking, verifying, archiving and studying mathematical proofs

1.0.4 • Published 3 years ago

Verifiable state manager for React based on o1js & Mina protocol

react state manager management store mina snark snarkyjs o1js zk

0.1.1 • Published 8 months ago