Skip to content

test: verifier rejects bad proofs #16

Open
Open
test: verifier rejects bad proofs#16
Labels
bench/test

Description

@nicarq
nicarq
opened on Aug 17, 2025

We should have some test that simulates bad proofs, and ensure the verifier rejects with high-probability

Metadata

Metadata

Assignees

No one assigned

    Labels

    bench/test

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions