TokenPost·
EthSystems Proves Two Shielded-Pool Guarantees in a Model, Leaves Privacy Claims Open
The work closed 20 of 36 contract obligations and matched 12 deployed runtime codes to an offline rebuild. Privacy was checked only in restricted models.