Skip to content

feat: finer modules#346

Merged
han0110 merged 3 commits intomasterfrom
han/feature/finer-modules
Apr 27, 2026
Merged

feat: finer modules#346
han0110 merged 3 commits intomasterfrom
han/feature/finer-modules

Conversation

@han0110
Copy link
Copy Markdown
Collaborator

@han0110 han0110 commented Apr 27, 2026

  • Split into finer modules
  • Re-export core in prover/verifier crates
  • Add debug impl for verifier impls, also add manual debug for Elf to reduce noise

@han0110 han0110 merged commit 44e91ed into master Apr 27, 2026
28 checks passed
@han0110 han0110 deleted the han/feature/finer-modules branch April 27, 2026 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant