Proof Packages

Tool to prove how many bitcoins someone controls. Intended for use as part of the blind-solvency-proof scheme.

Blind solvency proof

Proof-of-stake middleware for Lotion

A first-order logic proof verifier

denial-of-service mitigation through modified hashcash algorithm for message delivery

Tangerine is the best Node.js drop-in replacement for dns.promises.Resolver using DNS over HTTPS ("DoH") via undici with built-in retries, timeouts, smart server rotation, AbortControllers, and caching support for multiple backends (with TTL and purge sup

Inductive programming for JavaScript

Simulator for Logic 2010 derivations

Proof-of-stake middleware for Lotion

支持前端和node的丰富的验证工具

Command line tool for creating HTML proofs out of images

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.

Parse geometry proof language for diagram-building instructions.

The Doughnut Maker generates, validates, and unpacks [Doughnut certificates](https://github.com/cennznet/doughnut-paper).

`CENNZnut.js` implements the [Doughnut](https://github.com/cennznet/doughnut-paper) protocol [CENNZnet Permission Domain](https://github.com/cennznet/doughnut-paper/blob/master/CENNZnet_format.md) in JavaScript.

Proof-of-Humanity Validator Plugin React Component for Worldcoin ID

tea validity proof

Library for building merkle trees and verifying merkle proofs, including multi proofs. Built to be easy to understand

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