Skip to content

fix: reject oversized framed inputs in certified-verifier - #3134

Merged
stephenh-axiom-xyz merged 1 commit into
mainfrom
fix/certified-verifier-oversized-frame
Aug 27, 2026
Merged

fix: reject oversized framed inputs in certified-verifier#3134
stephenh-axiom-xyz merged 1 commit into
mainfrom
fix/certified-verifier-oversized-frame

Conversation

@stephenh-axiom-xyz

Copy link
Copy Markdown
Collaborator

Resolves INT-9277

@github-actions

Copy link
Copy Markdown
Contributor
group app.proof_time_ms app.cycles leaf.proof_time_ms
fibonacci (+15 [+0.9%]) 1,699 12,000,265 (+3 [+0.8%]) 373
keccak (+186 [+2.0%]) 9,704 18,655,329 (-26 [-1.7%]) 1,538
sha2_bench (-127 [-2.4%]) 5,230 14,793,960 (-3 [-0.5%]) 583
regex (+13 [+1.9%]) 710 4,137,067 (+1 [+0.5%]) 217
ecrecover (-3 [-0.7%]) 427 123,583 (-2 [-1.1%]) 187
pairing (-3 [-0.5%]) 587 1,745,757 (+4 [+2.1%]) 197
kitchen_sink (-5 [-0.2%]) 2,295 2,579,903 (-3 [-0.6%]) 489

Note: cells_used metrics omitted because CUDA tracegen does not expose unpadded trace heights.

Commit: d4930b1

Benchmark Workflow

/// ```
fn frame_three_blobs(vk_bytes: &[u8], proof_bytes: &[u8], pv_bytes: &[u8]) -> Vec<u8> {
let mut buf = Vec::with_capacity(12 + vk_bytes.len() + proof_bytes.len() + pv_bytes.len());
fn frame_three_blobs(vk_bytes: &[u8], proof_bytes: &[u8], pv_bytes: &[u8]) -> io::Result<Vec<u8>> {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we use io::Result and not eyre::Result? Is it input/output related?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We use io::Result in this particular crate

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it's wrong but ok

@stephenh-axiom-xyz
stephenh-axiom-xyz merged commit af635f6 into main Aug 27, 2026
28 checks passed
@stephenh-axiom-xyz
stephenh-axiom-xyz deleted the fix/certified-verifier-oversized-frame branch August 27, 2026 18:32
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.

2 participants