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

[EASY] IVC/Columns: simply move circuit layout to top-level + doc block height #2367

Merged
merged 3 commits into from
Jun 24, 2024

Conversation

dannywillems
Copy link
Member

@dannywillems dannywillems commented Jun 20, 2024

This is useful to generate the doc, and verifying the code matches the specification while reviewing/implementing.
I noticed some inconsistencies between the code and the specification.
Also, changing 6 to 12 for the number of hashes required per commitment. See the comment in the code. I added #2368 to verify we can still handle the MIPS interpreter.

@dannywillems dannywillems changed the title IVC/Columns: simply move circuit layout to top-level + doc block height [EASY] IVC/Columns: simply move circuit layout to top-level + doc block height Jun 20, 2024
@@ -1,3 +1,214 @@
//! IVC circuit layout - Top level documentation outdated
Copy link
Member Author

Choose a reason for hiding this comment

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

Simply moving to the top + add one ```text`

//!
//! Assume that IVC circuit takess CELL cells, e.g. CELL = 10000*N.
//! Then we can calculate N_IVC as dependency of N_APP in this way:
//! ```text
Copy link
Member Author

@dannywillems dannywillems Jun 20, 2024

Choose a reason for hiding this comment

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

Text formatting has been added here.

@dannywillems dannywillems marked this pull request as draft June 20, 2024 10:17
@dannywillems dannywillems force-pushed the dw/add-doc-block-height-columns branch 2 times, most recently from 3276302 to 937170b Compare June 20, 2024 12:36
@dannywillems dannywillems changed the base branch from master to dw/fixing-old-wrong-code-n-col June 20, 2024 12:36
@dannywillems dannywillems force-pushed the dw/add-doc-block-height-columns branch 2 times, most recently from ae11355 to 17f4d5d Compare June 20, 2024 12:39
@dannywillems dannywillems marked this pull request as ready for review June 20, 2024 13:21
ivc/src/ivc/columns.rs Outdated Show resolved Hide resolved
This is useful to generate the doc, and verifying the code matches the
specification while reviewing/implementing.
@dannywillems dannywillems force-pushed the dw/add-doc-block-height-columns branch from 17f4d5d to 7dccc57 Compare June 20, 2024 15:41
@dannywillems dannywillems force-pushed the dw/fixing-old-wrong-code-n-col branch from 8800bbb to f0d4e07 Compare June 24, 2024 10:07
Base automatically changed from dw/fixing-old-wrong-code-n-col to master June 24, 2024 12:01
@dannywillems dannywillems merged commit a42479e into master Jun 24, 2024
6 checks passed
@dannywillems dannywillems deleted the dw/add-doc-block-height-columns branch June 24, 2024 12:43
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