search

0xEigenLabs / eigen-zkvm

A Rust zkVM with a Modular Proof System
Apache License 2.0
130 stars 36 forks source link

Failed to prove genesis block #256

Closed eigmax closed 3 months ago

eigmax commented 3 months ago

The serde json deserialization fails when proving the genesis block. 

{"_info":null,"chain_id":12345,"env":{"currentCoinbase":"0x0000000000000000000000000000000000000000","currentDifficulty":"0x400000000","currentGasLimit":"0x1388","currentNumber":"0x0","currentTimestamp":"0x0","currentBaseFee":"0x3b9aca00","previousHash":"0x0000000000000000000000000000000000000000000000000000000000000000","currentRandom":"0x0000000000000000000000000000000000000000000000000000000000000000","currentBeaconRoot":"0x0000000000000000000000000000000000000000000000000000000000000000","currentWithdrawalsRoot":"0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421","parentBlobGasUsed":"0x0","parentExcessBlobGas":"0x0"},"pre":{},"post":{},"transaction":{"data":[],"gasLimit":[],"gasPrice":null,"nonce":"0x0","secretKey":"0x0000000000000000000000000000000000000000000000000000000000000000","sender":null,"to":null,"value":[],"maxFeePerGas":null,"maxPriorityFeePerGas":null,"accessLists":[],"blobVersionedHashes":[],"maxFeePerBlobGas":null},"out":null}

We deserialize the block at https://github.com/0xEigenLabs/eigen-zkvm/blob/main/zkvm/program/evm/src/lib.rs#L44.

eigmax commented 3 months ago

This issue is raised from eigen-prover/executor. The sender and receiver are both 0 address.

eigmax commented 3 months ago

Fixed by https://github.com/0xEigenLabs/eigen-prover/pull/117/files