npm

precise-proofs

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

• precise
• proofs

razvan.centrifuge

published 1.0.3 • 5 years agopublished 1.0.3 5 years ago

ew-precise-proofs-js

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

• precise
• proofs
• privacy
• merkle
• energyweb
• ewf
• origin

energywebdev

published 1.2.0 • a year agopublished 1.2.0 a year ago

precise-proofs-js

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

• precise
• proofs
• privacy
• merkle
• energyweb
• ewf
• origin

aznagy

published 1.2.0 • 3 years agopublished 1.2.0 3 years ago

@hakerh400/proof-assistant

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

• math
• proofs

hakerh400

published 1.0.1 • 3 years agopublished 1.0.1 3 years ago

@tangle-js/ld-proofs

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

• iota
• chrysalis
• streams
• identity
• linked
• data
• proofs
• signatures

jmcanterafonseca-iota

published 0.9.6-1 • a year agopublished 0.9.6-1 a year ago

inductive.js

Inductive programming for JavaScript

• type
• types
• ast
• abstract-syntax-tree
• abstract
• syntax
• tree
• induction
• inductive
• inductive-programming
• inductive-functional-programming
• test
• testing
• unit
• View more

omphalos

published 0.2.1 • 7 years agopublished 0.2.1 7 years ago

@tangle.js/ld-proofs

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

• iota
• chrysalis
• streams
• identity
• linked
• data
• proofs
• signatures

jmcanterafonseca-iota

published 0.9.2 • 2 years agopublished 0.9.2 2 years ago

@hakerh400/drift

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

• math
• proofs

hakerh400

published 1.0.4 • 2 years agopublished 1.0.4 2 years ago

keybase-proofs-test

Test proofs for development purposes

• Proofs
• testing

maxtaco

published 1.0.1 • 8 years agopublished 1.0.1 8 years ago

ezkl-wasm-test2

Wasm module for the ezkl zkml library

• wasm
• zk-snarks
• proofs
• verification

lancenonce

published 1.0.0 • 12 days agopublished 1.0.0 12 days ago

ezkl-wasm-test5

Wasm module for the ezkl zkml library

• wasm
• zk-snarks
• proofs
• verification

lancenonce

published 1.0.0 • 10 days agopublished 1.0.0 10 days ago

ezkl-wasm-test4

Wasm module for the ezkl zkml library

• wasm
• zk-snarks
• proofs
• verification

lancenonce

published 1.0.0 • 10 days agopublished 1.0.0 10 days ago

ezkl-lib-wasm-test

Wasm module for the ezkl zkml library

• wasm
• zk-snarks
• proofs
• verification

lancenonce

published 1.0.0 • 12 days agopublished 1.0.0 12 days ago

ezkl-wasm-test3

Wasm module for the ezkl zkml library

• wasm
• zk-snarks
• proofs
• verification

lancenonce

published 1.0.0 • 10 days agopublished 1.0.0 10 days ago

react-dapp-requirements

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

• precise
• proofs

razvan.centrifuge

published 0.1.12 • 4 years agopublished 0.1.12 4 years ago