private applications by default: the ZEXE model (decentralized private computation) made real — programs execute off-chain on the user's machine, the chain verifies a proof and never sees inputs, state or even which function ran. records spend like private notes; Leo compiles to snarkVM circuits
the lesson: the chain is a verifier, not an executor. soft3 runs the same shape — zheng proofs of local work, verify without re-running — computation lives where the hands are