nilfoundation / mina-state-proof Goto Github PK

Duplicates corresponding issue in Blueprint circuit definition repository.

Duplicates corresponding issue in Marshalling repository

Find out if we can use simultaneous doubling technique for MSM without special points cases.

Duplicates corresponding issue in Zero-Knowledge proofs repository.

Hi,

Very excited to see this great work around evm verification of Mina state come to life. I was wondering if this framework could be applied to evm verification of a Mina snapp (mina smart contract) directly without the proof having to pass through the mina blockchain and into mina state? The reason I would like this is because it could be a way to achieve low latency verification of snapps in evm. Even if this is not necessarily possible with this framework do you know if it is theoretically possible to build something of this nature?

Many thanks.

Duplicates corresponding issue in Multiprecision repository.

Currently, all testing for verifiers is done manually launching cli python scripts/ganache & setting parameters. This issue is to track work related to moving the contracts/frameworks to hardhat.

Gate are passed as arguments to the placeholder verification function in the new API instead of being linked as libraries.

Duplicates corresponding issue in Zero-Knowledge proofs repository.

Duplicates corresponding issue in Multiprecision repository.

Duplicates corresponding issue in Zero-Knowledge proofs repository.

Duplicates corresponding issue in Hash repository.

Thanks for your great work and I had fun reading your blogs and playing with the demo. Just a rudimentary question re the demo if I may: it's stated that 'the verification cost on Ethereum is 3.5M gas (0.0035 ETH)'. I'm a bit confused about the 0.0035ETH part, since I thought the actual cost should be 3.5M gas * gas price (138 gWei at the time of this post), so the total cost would be 0.0035*138 = 0.47ETH? Could you clarify this please, thank you very much.

Duplicates corresponding issue in Zero-Knowledge proofs repository.

Implement chain selection primitives for MINA ouroboros consensus.

• https://eprint.iacr.org/2020/499.pdf
• https://o1-labs.github.io/mina-book/crypto/overview.html
• https://github.com/MinaProtocol/mina/blob/feature/8407-spec-ouroboros-samasika-consensus/docs/specs/consensus/README.md

Hi Nil, wondering if it's feasible to use Aztec Huff to further reduce Mina verification cost.

Huff: https://medium.com/aztec-protocol/huffing-for-crypto-with-weierstrudel-9c9568c06901

Duplicates corresponding issue in ZK Marshalling repository.

Duplicates corresponding issue in ZK Marshalling repository.

Hardhat has a ganache equivalent , so we do not need to use ganache for testing flows.

Duplicates corresponding issue in Marshalling repository.

• https://hackmd.io/u_2Ygx8XS5Ss1aObgOFjkA?view#Definitions
• https://www.youtube.com/watch?v=ZQkzTB8VDzs

https://eprint.iacr.org/2019/1400.pdf

Init params & column rotations are both constants which are required for mina state proof verification. These should be removed for a cleaner API for solidity smart contracts.

Duplicates corresponding issue in Multiprecision Marshalling repository.

Duplicates corresponding issue in Algebra Marshalling repository.

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

Readme

2. 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

Initial protocol reference is emplaced in "Appendix A" of https://github.com/NilFoundation/evm-mina-verification/blob/master/docs/design/main.pdf

Duplicates corresponding issue in Blueprint circuit repository.

Duplicates corresponding issue in Polynomial Arithmetic repository.

Duplicates corresponding issue in ZK Marshalling repository.