Skip to content

Fix batch mul issue that appears in recursive merge verifier #1024

@ledwards2225

Description

@ledwards2225

The Ultra arithmetized recursive merge verifier circuit fails due (I think) to a quirk in the Ultra batch mul. Reproduce this in a minimal test to diagnose then resolve.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type
No fields configured for issues without a type.

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions