3 ms·
Around the entire system saying, “this system’s behavior is not strictly/formally verified to mirror my exact intentions and behaviors can be defined as maligna
by ethanbond 5y ago
Around the entire system saying, “this system’s behavior is not strictly/formally verified to mirror my exact intentions and behaviors can be defined as malignant or disallowed post-facto.”
But that’s antithetical to the value prop of smart contracts.