ODESEC

ODESEC stands for On-chain Database of Emergency Security Event Contact. Through this database and the corresponding mechanism, project teams can filter out spam, quickly receive effective emergency vulnerability reports, and make timely responses.

Get ssl Certificate

https://github.com/srvrco/getssl

Generate the SNARK Proof of the Certificate

Setup environment, Using the Bonsai proving service.

export BONSAI_API_KEY=<your-api-key>
export BONSAI_API_URI=<bonsai_url> # now is https://api.bonsai.xyz/

Now, you can run the cli to generate the proof.

RUST_LOG=INFO cargo run -r -- cert -p -c <your-certificate-file>

Generate the zkp of the POC

1. Write your own poc file like POC template
2. Run the cli to generate the proof.

cargo run -r  -- exploit -r <rpc_url> <your-poc-file>

example

There are two example contracts deployed on the sepolia network

• MockUSDC 0x190CaCC70Ba6C8696b6144D67Acf4F5BEE77f713
• Victim Contract 0xD856e309337dea0D14001C2853D23c9a2e384f8D

RUST_LOG=INFO cargo run -r  -- exploit -r https://eth-sepolia.g.alchemy.com/v2/PwB1oLC0AVk2wiLTAzskCYGoOGm65bsn -p poc.sol

Running the Frontend Locally

cd dapp
yarn start

Thanks

• risc0
• revm
• zeth
• scaffold-eth-2