Skip to content
This repository was archived by the owner on Jan 27, 2026. It is now read-only.

Verifier Cycle Reduction#67

Merged
kunxian-xia merged 217 commits intomainfrom
feat/gkr_cycle_reduction
Sep 12, 2025
Merged

Verifier Cycle Reduction#67
kunxian-xia merged 217 commits intomainfrom
feat/gkr_cycle_reduction

Conversation

@darth-cy
Copy link
Collaborator

@darth-cy darth-cy commented Sep 8, 2025

No description provided.

This was linked to issues Sep 9, 2025
@kunxian-xia kunxian-xia merged commit 845c987 into main Sep 12, 2025
2 checks passed
@kunxian-xia kunxian-xia deleted the feat/gkr_cycle_reduction branch September 12, 2025 16:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

precompile cycle reduction ZKVMProofInputVariable loading

4 participants