Veridise

• Name: Veridise

• Status: alias of veridise

• Why this note is not separate: Veridise is better kept as an entity note because the useful question is who packages the ZK-heavy audit practice, formal-methods tooling, and AuditHub workflow — not whether Veridise is a standalone protocol.

• Canonical note: veridise

• Last reviewed: 2026-08-11 UTC