Search results
59 packages found
SHA256 + Bloom filter proof of work
Set of functions for creating Merkle Tree, proofs and verifying proofs using binary data
Proof of Liabilities (PoL) library and CLI
CLI util for Proof of Existence
A first-order logic proof verifier
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 to build zk proofs of ethereum address ownership.
Merkle proof for a Bitcoin transaction
Build Anonymous Proofs of Ethereum Address Ownership
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
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.
P_SHA1 algorithm implemetation as defined in TLS Spec (rfc5246, 5.HMAC and the Pseudorandom Function)
- WS-Trust
- PSHA1
- P_SHA1
- Computed Keys
- Proof
- Symmetric Keys
- http://schemas.xmlsoap.org/ws/2005/02/trust/CK/PSHA1
- http://docs.oasis-open.org/ws-sx/ws-trust/200512/CK/PSHA1
- http://tools.ietf.org/html/rfc5246
Solidity contracts for verifying proof-of-humanity on-chain
Proof-of-Humanity Core Component for React