Invarianter är kraftfulla. Påståenden är mer kraftfulla.
jacob Φ
jacob Φ13 aug. 20:06
1/11 De flesta exploateringar av smarta kontrakt sker när hackare bryter antaganden som utvecklarna aldrig uttryckligen har testat. Invarianter är ditt försvar: grundläggande regler som ALLTID måste gälla, oavsett hur användare interagerar med ditt kontrakt. Så här använder du dem för att skapa säkrare protokoll 👇
330