Closed abstraking closed 2 months ago
The Verifier is correct, but the Certifier is better. Rebro produces certificates, and Verifiers logic is responsible for what exactly gets certified about a message, so its better be named as so.
closed by #38
The Verifier is correct, but the Certifier is better. Rebro produces certificates, and Verifiers logic is responsible for what exactly gets certified about a message, so its better be named as so.