LDS Merkle Proof 2019 signature suite tools

Executor-side consequence control that verifies relying-party-pinned evidence for one exact action, reserves authority before effect, and fails closed.

PostgreSQL schema-aware deployment control — idempotent SQL migrations with CI-enforced integrity checks, expand/contract migration orchestration, schema drift detection, and unified gating across database, application, and infrastructure rollouts

A library for drawing marks on a pane

OpenID Connect Authentication middleware for Hono

Implementation of proof provider based on the Midnight ledger proof server

A library to generate and verify Semaphore proofs.

This TS package provides utils for the merkleization of [`frame_metadata`](https://docs.rs/frame-metadata/latest/frame_metadata/) as described in [RFC78](https://polkadot-fellows.github.io/RFCs/approved/0078-merkleized-metadata.html).

Reference implementation of the KYA-OS protocol for Model Context Protocol servers: identity, delegation, proofs, sessions, and verifiable audit trails

Privacy-first CAPTCHA widget, compliant with global regulations (GDPR/HIPAA/CCPA/LGDP/DPDPA/PIPL) and WCAG accessible. No tracking, self-verifying.

Cryptographic dispute evidence for autonomous fleets. Tamper-evident spatial receipts for AV insurance, logistics proof-of-delivery, and AR anti-cheat. 91% spoof detection in stress tests at fleet scale.

Threshold OPRF client core: BabyJubJub, hash-to-curve, Chaum-Pedersen ZKP, FROST-style distributed proofs

Writing a test using proof is very similar to how you write your stories. Typically you'd start with:

Verify ownership proofs

P2P Push notification gateway that work with blind-peer

OAuth 2.0 Authorization Server implementation for Node.js with OpenID Connect

Background proof processing that creates verifiable credentials from prepared payloads

Chirindo — a fail-closed cryptographic gate for the MCP tool-call boundary. The watchtower for your AI agents. By Headless Oracle.

The core universal identity model for the Majikah ecosystem, featuring hybrid PQC signatures (Ed25519 + ML-DSA), ML-KEM-768 private info encryption, and multi-stage Didit verification graduation.

HTTP client for calling immutable proof service endpoints from external components