Search results
61 packages found
SHA256 + Bloom filter proof of work
Ayming Ip Secure CLI
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.
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
Highlight mistakes and their absence in a piece of text.
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
Build and verify Bitcoin Merkle proofs
Gatsby plugin to add Proof to your site
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