Event JSON
{
"id": "531e9fcc7194f6a4be92b0997187649f764c6c78d4a3e8498137c01ca1516249",
"pubkey": "e5f1d86e7b4f85a152e0fcba327e4dde82ba1a4d36e85d01f2f9ceb5eeec5ee1",
"created_at": 1688743757,
"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"
],
[
"e",
"9937f0472e49675d75a921948f6a7fe4a25e2dcad7d277119b10d026c39b1bb4",
"wss://purplepag.es",
"reply"
],
[
"client",
"coracle"
]
],
"content": "Voici l'exemple que nous donne Patrick, il permet de comprendre où faire le test, mais ce n'est pas le plus pertinent des invariants.\n\nOn peut facilement identifier les 4 étapes : \n\n- Les conditions \n- Les effets sur le contrat \n- Les interactions \n- La vérification des invariants\nhttps://us-southeast-1.linodeobjects.com/dufflepud/uploads/2058ff44-dbc5-4c6b-b409-88b18ba66115.jpg",
"sig": "41d0e243698470f08970e3547420e5d245a05fa7cd9587ffff4b63bae1483aa42d09a238838b805f1f9e5bb3baced5d0ae8b335b235cf64bd998c8acb95d126d"
}
