A library to generate Verifiable Presentations and Verfiable Credentials
Lightweight decoding and validation library.
Construct Merkle Trees and verify proofs
Parse geometry proof language for diagram-building instructions.
Set of functions for creating Merkle Tree, proofs and verifying proofs using binary data
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.
Simulator for Logic 2010 derivations
Highlight mistakes and their absence in a piece of text.
CLI util for Proof of Existence
A first-order logic proof verifier
API Client for Proof of Existence
Proof of Liabilities (PoL) library and CLI
SHA256 + Bloom filter proof of work
Merkle proof for a Bitcoin transaction
Gatsby plugin to add Proof to your site
Used in Better SweClockers.