Skip to content

Conversation

@Maillew
Copy link
Contributor

@Maillew Maillew commented Dec 11, 2025

Closes INT-5723, INT-5724, INT-5726

@github-actions
Copy link

group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair 229 322,610 2,058,654 - - -
fibonacci 1,010 1,500,209 2,100,402 - - -
regex 2,331 4,137,502 17,695,216 - - -
ecrecover 716 122,859 2,265,100 - - -
pairing 1,456 1,745,742 25,408,302 - - -

Commit: 60d1d19

Benchmark Workflow

@Maillew Maillew force-pushed the feat/remove-mem-access2 branch from d0e7bae to 9d0bea8 Compare December 12, 2025 22:45
@Maillew Maillew changed the title [TMP] remove memory access adapters remove memory access adapters: CPU Boundary AIR, initialize/finalize memory Dec 12, 2025
@Maillew Maillew changed the base branch from develop-v1.6.0 to feat/access-adapter-removal December 12, 2025 22:56
@Maillew Maillew changed the title remove memory access adapters: CPU Boundary AIR, initialize/finalize memory feat: remove memory access adapters: CPU Boundary AIR, initialize/finalize memory Dec 12, 2025
@Maillew Maillew requested a review from shuklaayush December 12, 2025 23:34
@Maillew Maillew force-pushed the feat/remove-mem-access2 branch 2 times, most recently from f937ae0 to 3706b09 Compare December 18, 2025 18:44
@Maillew Maillew marked this pull request as ready for review December 18, 2025 19:02
@Maillew Maillew force-pushed the feat/access-adapter-removal branch from df72623 to e5cca45 Compare December 18, 2025 19:46
@Maillew Maillew force-pushed the feat/remove-mem-access2 branch from 2051624 to a5814d4 Compare December 18, 2025 20:14
/// Whether access adapters are enabled. When disabled, all memory accesses must be of the
/// standard block size (ie, 4 for address spaces 1-3).
#[new(value = "true")]
pub access_adapters_enabled: bool,
Copy link
Collaborator

Choose a reason for hiding this comment

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

i'm wondering if instead of storing a separate variable, we just have an access_adapters_enabled function that returns true if native address space is used and false otherwise. just so that there's a single source of truth

Copy link
Contributor Author

Choose a reason for hiding this comment

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

there is currently a function to check if native address space is used, is_native_as_used. i kept it as a field, to force it to be true/false for testing purposes. there is an additional function, with_auto_access_adapters which automatically sets the field, depending on is_native_as_used

Comment on lines 248 to 250
use std::collections::BTreeMap;
let mut chunk_map: BTreeMap<(u32, u32), ([u32; BLOCKS_PER_CHUNK], [F; CHUNK])> =
BTreeMap::new();
Copy link
Collaborator

Choose a reason for hiding this comment

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

can we do this by just a par_iter on a vector or do we need a btreemap here? btreemaps are slow

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Resolved: 5bd398c

note, have to do it in two passes, because of race conditions if accessing the same chunk

@Maillew Maillew requested a review from shuklaayush December 19, 2025 23:11
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.

3 participants