Search results
61 packages found
Ayming Ip Secure CLI
SHA256 + Bloom filter proof of work
zkCloudWorker CLI tool
Proof of Liabilities (PoL) library and CLI
Set of functions for creating Merkle Tree, proofs and verifying proofs using binary data
A first-order logic proof verifier
In the works
Lightweight decoding and validation library.
Highlight mistakes and their absence in a piece of text.
This tool was built with the initial purpose of serving as a quick means of proof testing email templates built with the MJML framework. Eventually it grew to be more than that, and it's taking the shape of a suite for testing and compiling emails. You ca
CLI util for Proof of Existence
CLI to build zk proofs of ethereum address ownership.
Merkle proof for a Bitcoin transaction
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
Build Anonymous Proofs of Ethereum Address Ownership
Library for building merkle trees and verifying merkle proofs, including multi proofs. Built to be easy to understand
This implementation contains a somewhat gas efficient way to verify [Starknet Storage Proofs](https://docs.starknet.io/documentation/architecture_and_concepts/Contracts/contract-storage/) in Solidity. It also contains various implementation of the [peders
Gatsby plugin to add Proof to your site
Build and verify Bitcoin Merkle proofs
library to implement proof-of-liabilities.