Herald AboutAbout Contact ↗Contact ↗ (opens in a new tab)

GitHub (opens in a new tab)Discord (opens in a new tab)

Herald Stack
Herald
Introduction
Key Ideas
Architecture
Why
Future Features
Build on Herald
Benchmarks
Get Started
Configure
Tooling
Ecosystem
- Project1
Contribute
Security
FAQ

On This Page

Non-Reusable Proofs
Proving multiple Rules in one proof

Question? Give us feedback → (opens in a new tab)Contribute to Herald | Edit on GitHub

Future Features

Future Features

Non-Reusable Proofs

Proving multiple `Rule`s in one proof

Apache 2.0 2023 © Herald - Credential Creation & Proving