X账号：链上安全与链上金融可借助模糊测试和求解器获利

making money through onchain security or onchain finance is the same thing - you define a property, and feed it to a fuzzer/solver and ask it to break the property. applies to hacking, arbitrages, and more.

in 2022 i asked for GPU-accelerated symbolic solvers, anywhere from literally running z3 on GPUs, or approximating z3's heuristics with neural networks. that would let you accelerate the solving process, and potentially explore states that the hand-written heuristics/solvers would never be able to get to and/or prove.

in 2026, this seems more possible than ever before. my talk from 2022 in the replies