The challenger’s scanner currently treats games that have already been seen as “handled” and does not…
The challenger’s scanner currently treats games that have already been seen as “handled” and does not…: a task in LegoFlow-SWE (Harbor dataset). A related mis‑classification affects dual‑proof proposals (proposals containing both a TEE proof and a ZK proof) that have not been challenged. Right now…
The task
A related mis‑classification affects dual‑proof proposals (proposals containing both a TEE proof and a ZK proof) that have not been challenged. Right now the scanner skips these proposals entirely, but they should be treated as candidates for further action: if the proofs are not both `verified`, the proposal is…
Part of Lego-X/LegoFlow-SWE.