This repository contains In-EVM Mina State verification project.
git clone git@github.com: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
npx hardhat validate_account_state --proof dummyFlag \
--state ./examples/data/account_data.json \
--ledger jwYPLbRQa4X86tSJs1aTzusf3TNdVTj58oyWJQB132sEGUtKHcB \
--network localhost
Inputs
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)