For invalid bytecode, bytecode circuit validates to true. - Githubissues

taikoxyz / zkevm-circuits

DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM

Other

159 stars 125 forks source link

For invalid bytecode, bytecode circuit validates to true. #144

Open krzysztofpaliga opened 1 year ago

krzysztofpaliga commented 1 year ago

What command(s) is the bug in?

while fuzzing the bytecode circuit

Describe the bug

See attached file, for examples. fuzz_raport.txt

Concrete steps to reproduce the bug. If it's able reproduce via testool, please share `test_id` from jenkins report

No response