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

Update transpiler to allow generate non asm solidity code #17

Draft
wants to merge 11 commits into
base: master
Choose a base branch
from

Conversation

hgedia
Copy link

@hgedia hgedia commented Jul 20, 2023

Changes

  • Allow zkllvm-transpiler to take an additional flag no-asm which skips a generation of yul/assembley code and outputs pure solidity.
  • the flag -no-asm works only with optimise-gates and only updating that branch of the code in the transpiler to keep changes localised, but can update other branches if there is a reason.

Testing

  • Tested with arithmetic circuit flow and validated in EVM verifier
  • Not all flows have been tested as transpilation flow depends on circuit arguments (ex : rotation set to true for circuits which require it, same for public inputs etc).

zkllvm changes here : NilFoundation/zkLLVM#173 (to be merged after this is approved)

@hgedia hgedia marked this pull request as ready for review July 24, 2023 04:48
@nkaskov nkaskov marked this pull request as draft September 28, 2023 15:02
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.

1 participant