A library to generate Verifiable Presentations and Verfiable Credentials
Construct Merkle Trees and verify proofs
Lightweight decoding and validation library.
Parse geometry proof language for diagram-building instructions.
prove/verify domain ownership
GitLock adds a SHA-256 wrapper to increase the security of Git, and protects your copyright by adding timestamps from trusted authorities.
Highlight mistakes and their absence in a piece of text.
Simulator for Logic 2010 derivations
A first-order logic proof verifier
API Client for Proof of Existence
Proof of Liabilities (PoL) library and CLI
CLI util for Proof of Existence
Set of functions for creating Merkle Tree, proofs and verifying proofs using binary data
Merkle proof for a Bitcoin transaction
SHA256 + Bloom filter proof of work
Proofable Node SDK