Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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

Is aux-proof-verify implemented in Solidity yet? #45

Closed
xhliu opened this issue Sep 28, 2022 · 2 comments
Closed

Is aux-proof-verify implemented in Solidity yet? #45

xhliu opened this issue Sep 28, 2022 · 2 comments
Assignees
@nemothenoone
Labels
question Further information is requested
Projects
In-EVM Mina Verification
Milestone
In-EVM Proof Veri...

Comments

@xhliu
Copy link

xhliu commented Sep 28, 2022

Is aux-proof-verify implemented in an Ethereum smart contract yet? Is aux-proof-verify in #28 and thus still being implemented?

Readme

  1. An in-EVM application logic aux-proof-verify that has an internal state corresponding to the Mina protocol state, and which can be set to a new state only if one provides an auxiliary proof that verifies.

https://github.com/NilFoundation/evm-placeholder-verification
@nemothenoone nemothenoone added the question Further information is requested label Oct 27, 2022
@nemothenoone nemothenoone added this to To do in In-EVM Mina Verification via automation Oct 27, 2022
@nemothenoone nemothenoone self-assigned this Oct 27, 2022
@nemothenoone
Copy link
Member

Hey @xhliu! In-EVM verifier is implemented and awaits for an audit. It meanwhile goes through adjustments, fixes and improvements when they're being figured out. The repository you've mentioned is correct.

@nemothenoone nemothenoone added this to the In-EVM Proof Verifier milestone Oct 27, 2022
@xhliu
Copy link
Author

xhliu commented Oct 28, 2022

What’s the gas cost of the verification?

@NilFoundation NilFoundation locked and limited conversation to collaborators Oct 28, 2022
@nemothenoone nemothenoone converted this issue into discussion #47 Oct 28, 2022

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees

@nemothenoone nemothenoone

Labels
question Further information is requested
Projects
In-EVM Mina Verification
To do
Milestone
In-EVM Proof Verifier
Development

No branches or pull requests
2 participants
@xhliu @nemothenoone