This repository contains In-EVM Mina State verification project.
git clone [email protected]:NilFoundation/mina-state-proof.git
cd mina-state-proof
npm i
npx hardhat compile
npx hardhat test #Execute tests
REPORT_GAS=true npx hardhat test # Test with gas reporting
Launch a local-network using the following
npx hardhat node
To deploy to test environment (ex: Ganache)
npx hardhat deploy --network localhost
Hardhat re-uses old deployments, to force re-deploy add the --reset flag above
Below are two tasks that execute flows to validate the ledger state and validate the account state. Please note, these work against the above deployment, hence, you must run the deployment before executing the following.
npx hardhat validate_ledger_state --proof ./test/data/proof_v.data \
--ledger jwYPLbRQa4X86tSJs1aTzusf3TNdVTj58oyWJQB132sEGUtKHcB \
--network localhost
Inputs
- proof : File path with the full Mina ledger state proof retrieved from proof market.
- ledger: This is the hash of the ledger which this proof attests.
- network: Network to run this task against.
npx hardhat validate_account_state --proof dummyFlag \
--state ./examples/data/account_data.json \
--ledger jwYPLbRQa4X86tSJs1aTzusf3TNdVTj58oyWJQB132sEGUtKHcB \
--network localhost
Inputs
- proof : File path of the account state proof retrieved from the proof market.
- state : File path of the account state which the above proof attests to.
- ledger: Hash of the ledger against which the account state is validated.
- network: Network to run this task against.
Issue reports are preferred to be done with Github Issues in here: https://github.com/nilfoundation/mina-state-proof/issues.
Forum-alike discussion topics are better to be done with Discussions section in here: https://github.com/NilFoundation/mina-state-proof/discussions
Usage and development questions are preferred to be asked in a Telegram chat: https://t.me/nilfoundation or in Discord (https://discord.gg/KmTAEjbmM3)
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent