Skip to content

Dimitris/add log derivation#8

Merged
DimitrisPapac merged 10 commits intomainfrom
dimitris/add-log-derivation
Mar 2, 2026
Merged

Dimitris/add log derivation#8
DimitrisPapac merged 10 commits intomainfrom
dimitris/add-log-derivation

Conversation

@DimitrisPapac
Copy link
Copy Markdown
Contributor

@DimitrisPapac DimitrisPapac commented Mar 2, 2026

This PR simply adds functionality for deriving the value of log_n from the proof length. This aims to enable zkVerify to charge more fairly (i.e., based on the value of log_n, instead of always using the maximum value of log_n).

Copy link
Copy Markdown
Collaborator

@95DDB 95DDB left a comment

Choose a reason for hiding this comment

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

Please fix linter, all good

Copy link
Copy Markdown
Collaborator

@la10736 la10736 left a comment

Choose a reason for hiding this comment

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

LGTM

Comment thread src/proof.rs Outdated
mod should {
use super::*;

#[rstest]
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

For the next ime. don't use rstest if you don't really need it

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Maybe you started with it because you would use values from 1..=CONST_PROOF_SIZE_LOG_N and then discovered that it was not possible.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Yes, exactly. I replaced these attributes with #[test].

@DimitrisPapac DimitrisPapac merged commit 986b79b into main Mar 2, 2026
2 checks passed
@DimitrisPapac DimitrisPapac deleted the dimitris/add-log-derivation branch March 2, 2026 10:20
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