Skip to content

Conversation

@DavePearce
Copy link
Collaborator

@DavePearce DavePearce commented Nov 14, 2025

This adds a benchmark corresponding to the "Tiny Euclidean Division Module (EUC)".


Note

Adds the EUC assembly benchmark and test, introducing euc.zkasm for 64-bit division validation and quotient ceiling.

  • Benchmarks/Tests:
    • Add Test_AsmBench_Euc invoking asm/bench/euc for field.BLS12_377 in pkg/test/assembly_bench_test.go.
  • Assembly:
    • Add testdata/asm/bench/euc.zkasm implementing fn euc(DIVIDEND, DIVISOR=1, QUOTIENT, REMAINDER) -> (CEIL):
      • Ensures non-zero divisor, reconstructs and validates dividend, checks REMAINDER < DIVISOR, and computes CEIL (QUOTIENT or QUOTIENT + 1).

Written by Cursor Bugbot for commit cb42a34. This will update automatically on new commits. Configure here.

This adds a benchmark corresponding to the "Tiny Euclidean Division
Module (EUC)".
@DavePearce DavePearce linked an issue Nov 14, 2025 that may be closed by this pull request
@DavePearce DavePearce merged commit 58b4d75 into main Nov 14, 2025
22 checks passed
@DavePearce DavePearce deleted the 1323-feat-add-euc-benchmark branch November 14, 2025 01:15
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.

feat: add EUC benchmark

2 participants