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

feat: add Input and Output trace generation to the prove_brainfuck entrypoint #57

Open
Tracked by #41
zmalatrax opened this issue Nov 13, 2024 · 0 comments
Open
Tracked by #41

Comments

@zmalatrax
Copy link
Collaborator

zmalatrax commented Nov 13, 2024

To commit the trace when generating the proof with the prove_brainfuck() entrypoint, we must evaluate the BaseField that populates the IOTable on the Circle domain.

To do so, we must pack the registers of each row IOTableRow into a BaseColumn, which provides us a Vec<BaseColumn>
There is only one register, mv, so it is pretty straightforward (convert all the Vecinto a singleBaseColumn`

Then we evaluate each row (i.e. BaseColumn) on a corresponding circle domain.

As a reference, see this from stwo-cairo

@github-project-automation github-project-automation bot moved this to 🆕 Backlog in Kakarot on Starknet Nov 13, 2024
@zmalatrax zmalatrax moved this from 🆕 Backlog to 📅 Next sprint in Kakarot on Starknet Nov 13, 2024
@zmalatrax zmalatrax moved this from 📅 Next sprint to 🔖 Current sprint in Kakarot on Starknet Nov 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: 🔖 Current sprint
Development

No branches or pull requests

1 participant