Skip to content

add: devnet-4 plan#71

Open
anshalshukla wants to merge 5 commits intoleanEthereum:mainfrom
anshalshukla:anshalshukla/pq-devnet-4-plan
Open

add: devnet-4 plan#71
anshalshukla wants to merge 5 commits intoleanEthereum:mainfrom
anshalshukla:anshalshukla/pq-devnet-4-plan

Conversation

@anshalshukla
Copy link

No description provided.

- Valid values: `1` to `4`.
- This field is set only when `is_aggregator: true`.
- Semantics:
- `1`: least proof efficiency, fastest proof construction.
Copy link
Contributor

Choose a reason for hiding this comment

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

I would suggest renaming "least/highest proof efficiency" by "biggest/lowest proof size".

@unnawut
Copy link
Collaborator

unnawut commented Feb 27, 2026

lgtm!

@unnawut
Copy link
Collaborator

unnawut commented Mar 25, 2026

Can you also help link this doc to https://github.com/leanEthereum/pm/blob/main/breakout-rooms/leanConsensus/pq-interop/README.md in this PR? Thanks!

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.

4 participants