Par exemple, le fait qu'un utilisateur ne puisse pas retirer plus de tokens qu'il a déposés sur un protocole est un invariant.
Pareil pour un contrat de loterie où il ne devrait toujours y avoir qu'un seul gagnant possible.
0xNekr /
npub1uh…v9n4s
2023-07-07 15:25:43
in reply to nevent1q…9uhp
Author Public Key
npub1uhcasmnmf7z6z5hqljaryljdm6pt5xjdxm596q0jl88ttmhvtmss5v9n4sPublished at
2023-07-07 15:25:43Event JSON
{
"id": "750a4fa88fe225dc91127843d8ed37b324a50c68e21b1c83510c777a0093ce71",
"pubkey": "e5f1d86e7b4f85a152e0fcba327e4dde82ba1a4d36e85d01f2f9ceb5eeec5ee1",
"created_at": 1688743543,
"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",
"reply"
],
[
"client",
"coracle"
]
],
"content": "Par exemple, le fait qu'un utilisateur ne puisse pas retirer plus de tokens qu'il a déposés sur un protocole est un invariant. \n\nPareil pour un contrat de loterie où il ne devrait toujours y avoir qu'un seul gagnant possible.",
"sig": "7f83f88705b40b60f23446b79f560d9cf3533575943adcde29476bc8c92f5199a1f7f57e4c9f8f24841ad46ed1fd87abea4d09e9263df8736f3c70f4057e999f"
}