blproof
Blind liability proof tool
Blind liability proof tool
Generate a zero knowledge proof that an encrypted number is in a set
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
prove/verify domain ownership
Proof-of-stake middleware for Lotion
Command line tool for creating HTML proofs out of images
支持前端和node的丰富的验证工具
Parse geometry proof language for diagram-building instructions.
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
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
Merkle Tree lib
Solidity contracts for verifying proof-of-humanity on-chain
Proof-of-Humanity Core Component for React