Il faut donc garder le pattern CEI à l'échelle d'une fonction, et tester les "invariants" de tout le protocole en plus.
Le plus difficile étant d'identifier les invariants de votre contrat. Pour certains contrats, il est possible de ne pas en avoir.
0xNekr /
npub1uh…v9n4s
2023-07-07 15:26:51
in reply to nevent1q…udl5
Author Public Key
npub1uhcasmnmf7z6z5hqljaryljdm6pt5xjdxm596q0jl88ttmhvtmss5v9n4sPublished at
2023-07-07 15:26:51Event JSON
{
"id": "c60ffc4bbf1b950a1138d8d7cac2ee9515a068a1376f71748c1b575b32797142",
"pubkey": "e5f1d86e7b4f85a152e0fcba327e4dde82ba1a4d36e85d01f2f9ceb5eeec5ee1",
"created_at": 1688743611,
"kind": 1,
"tags": [
[
"p",
"e5f1d86e7b4f85a152e0fcba327e4dde82ba1a4d36e85d01f2f9ceb5eeec5ee1",
"wss://purplepag.es",
"0xNekr"
],
[
"e",
"8d302aeb79b144965ac347c43b0104e3225ba3ec518d2d12f90609d7a450bcc1",
"wss://purplepag.es",
"root"
],
[
"e",
"e9cbc8f3f04641478c40a4c881e63974293b8fae3401611323b130ee38fc0651",
"wss://purplepag.es"
],
[
"e",
"64663c2b4aab65d41791a3ce2601719d411ec2ddbeba66899a605b6a53b7a120",
"wss://purplepag.es"
],
[
"e",
"4eb5a676525a4f1bafb33172728e2e6ceb5fe1027adf45b00efe7736326b3115",
"wss://purplepag.es"
],
[
"e",
"6ec349d4d464958cf33248c543143fd85405484573d5f84123bed50461f31dd2",
"wss://purplepag.es"
],
[
"e",
"4a4096da3ebc41e23070b9e162e6c4c30ed6b76396c14f4ad4f1a51e9baa5002",
"wss://purplepag.es"
],
[
"e",
"750a4fa88fe225dc91127843d8ed37b324a50c68e21b1c83510c777a0093ce71",
"wss://purplepag.es",
"reply"
],
[
"client",
"coracle"
]
],
"content": "Il faut donc garder le pattern CEI à l'échelle d'une fonction, et tester les \"invariants\" de tout le protocole en plus. \n\nLe plus difficile étant d'identifier les invariants de votre contrat. Pour certains contrats, il est possible de ne pas en avoir.",
"sig": "c550e38ed22cfd0fa03b5148d66b9684006eb922005fdacedf19310df724551e42b64da40a878d9cbe83d97cbc761f9d809e5f7db629af4751dace94aac5c267"
}