New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cleanup old circuits, add winternitz verifier circuits #504

Open

ekrembal opened this issue Feb 5, 2025 · 0 comments

Assignees

Labels

Milestone

Automatic Disprov...

Member

ekrembal commented Feb 5, 2025

Issue Description

Tasks

No response

Deadline of the Issue

ekrembal added this to the Automatic Disprove Logic milestone

ekrembal assigned aoengin and ozankaymak

ozankaymak mentioned this issue

Old circuits cleanup #507

Merged

ekrembal added the bridge-proof label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment