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.
A first-order logic proof verifier
Simulator for Logic 2010 derivations
Highlight mistakes and their absence in a piece of text.
API Client for Proof of Existence
Set of functions for creating Merkle Tree, proofs and verifying proofs using binary data
CLI util for Proof of Existence
Proof of Liabilities (PoL) library and CLI
Merkle proof for a Bitcoin transaction
SHA256 + Bloom filter proof of work
Proofable Node SDK