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

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.

Inductive programming for JavaScript

Simulator for Logic 2010 derivations

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 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