Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

30-bit bus interaction ID #2474

Merged
merged 55 commits into from
Feb 14, 2025
Merged

30-bit bus interaction ID #2474

merged 55 commits into from
Feb 14, 2025

Conversation

qwang98
Copy link
Collaborator

@qwang98 qwang98 commented Feb 12, 2025

Solves #2470. Depends on #2465. Approval will only works after merging #2465.

The following is a response to #2470 and motivation of this PR:

Chance of collission:
For 24-bits:
100 interactions: 0.000295000053831429
1000 interactions: 0.02933425835911685
10000 interactions: 0.9492338975723106

For 30-bits (theoretically the largest we could get to without changing pil code due to field prime of bb and m31):
100 interactions: 4.610036260510597e-06
1000 interactions: 0.0004650875835883195
10000 interactions: 0.04549425469529611

Neither look ideal, but I think after #2469, bus linker mode should always have 2 bus interactions only. For user defined bus interactions, they can intentionally input IDs that don't clash, so I think just using 30-bit interaction id should be good enough for 29 bits of security (under 2 interactions linker case).

Base automatically changed from bus-multi-interaction-linker-update to main February 13, 2025 05:16
@qwang98 qwang98 dismissed Schaeff’s stale review February 13, 2025 05:16

The base branch was changed.

@qwang98 qwang98 changed the base branch from main to bus-interaction-enum February 13, 2025 06:15
Base automatically changed from bus-interaction-enum to main February 14, 2025 10:25
@qwang98 qwang98 requested a review from Schaeff February 14, 2025 11:38
@qwang98 qwang98 enabled auto-merge February 14, 2025 11:42
@qwang98 qwang98 added this pull request to the merge queue Feb 14, 2025
Merged via the queue into main with commit 187c796 Feb 14, 2025
16 checks passed
@qwang98 qwang98 deleted the bus-interaction-30-bit-id branch February 14, 2025 13:35
github-merge-queue bot pushed a commit that referenced this pull request Feb 14, 2025
Depends on #2474, which depends on #2465.

Added a test for new API `bus_multi_batch_lookup_permutation` per
@Schaeff's suggestion. This currently invokes the API in a raw way, so I
will add more tests in another PR that uses permutation and lookup
syntaxs in block machine to conduct integrated test of our linker
infrastructure.
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