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.

Sign up for GitHub

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

Jump to bottom

Circuit Simulator revival ? #944

Closed
maramihali opened this issue Apr 15, 2024 · 1 comment · Fixed by AztecProtocol/aztec-packages#1195
Closed

Circuit Simulator revival ? #944

maramihali opened this issue Apr 15, 2024 · 1 comment · Fixed by AztecProtocol/aztec-packages#1195
Milestone
RollupIVC

Comments

@maramihali
Copy link
Contributor

maramihali commented Apr 15, 2024 •
edited
Loading

Decide whether we revive the Circuit Simulator and run the native verifiers via the Circuit Simulator (and build the Rollup IVC). Establish how much work that will take
@maramihali maramihali added this to the RollupIVC milestone Apr 15, 2024
@maramihali maramihali changed the title Circuit Simulator revival Circuit Simulator revival ? Apr 15, 2024
@maramihali
Copy link
Contributor Author

My thoughts as I go through recursive verifiers and circuit simulator and try to figure out an attack plan: https://hackmd.io/RhOpdxkmS0mTRb_W8kE_mw

@maramihali maramihali mentioned this issue Apr 29, 2024
Merged
maramihali pushed a commit to AztecProtocol/aztec-packages that referenced this issue Apr 30, 2024
@codygunton
feat: circuit simulator for Ultra and GoblinUltra verifiers (#1195)
0032a3a 
This PR introduces the `CircuitSimulator` repurposed specifically to
simulate native verifiers via the recursive verifiers, currently
specialised for bn254. Currently the simulator is able to simulate the
`UltraVerifier` and `GoblinUltraVerifier`.

Resolves AztecProtocol/barretenberg#944.
---------
Co-authored-by: maramihali <mara@aztecprotocol.com>
AztecBot pushed a commit that referenced this issue May 1, 2024
@codygunton @AztecBot
feat: circuit simulator for Ultra and GoblinUltra verifiers (#1195)
da66886 
This PR introduces the `CircuitSimulator` repurposed specifically to
simulate native verifiers via the recursive verifiers, currently
specialised for bn254. Currently the simulator is able to simulate the
`UltraVerifier` and `GoblinUltraVerifier`.

Resolves #944.
---------
Co-authored-by: maramihali <mara@aztecprotocol.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
RollupIVC
Development

Successfully merging a pull request may close this issue.

feat: circuit simulator for Ultra and GoblinUltra verifiers AztecProtocol/aztec-packages
1 participant
@maramihali