plonky2x-example

An example of how to build an end-to-end dApp with plonky2x

Make sure you have Rust installed (curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh)
Make sure you have Foundry installed for smart contract development (curl -L https://foundry.paradigm.xyz | bash)
Make sure environment variables in the top-level .env are set by following the variables in .env.example
Make sure the circuits build and the tests pass by running cargo test
Make sure contracts build and the tests pass by running forge test in the contracts folder

Go to alpha.succinct.xyz and login and click new to connect this repo to Succinct
Make a new "release" of your circuit and deploy the verifier on-chain once the release is done
Take the function_id of your deployed contract and change it in your smart contracts (src/Counter.sol)
Deploy your smart contract by using deploy.sh in contracts/
Request a proof by using increment.sh in contracts/ to trigger a request on-chain

kevjue/plonky2x-example