სმარტ კონტრაქტების უსაფრთხოება DeFi-ში: გავრცელებული სუსტობები და როგორ უნდა ავიცილოთ ისინი

სანამ ტექნიკურ დაუცველობებზე გადავიდოდეთ, ყოველთვის ჭკვიანურია დარწმუნდეთ, რომ თქვენი საბაზრო საქმიანობა უსაფრთხო პლატფორმაზე მიმდინარეობს. თქვენ შეგიძლიათ შეამოწმოთ ბოლო ფასები და მოძრაობები სხვადასხვა აქტივებისთვის Exbix Markets გვერდზე.

პარტი 2: საერთო სმარტ კონტრაქტების დაუცველობები და ექსპლუატაციები

მოდით განვიხილოთ ყველაზე გავრცელებული კატეგორიები დაუცველობების, რომლებიც მნიშვნელოვანი შედეგების მომტანი აღმოჩნდა. დაკარგვები DeFi-ში.

1. ხელახალი შესვლის თავდასხმები: კლასიკური ძარცვა

ხელახალი შესვლის თავდასხმა არის ყველაზე ცნობილი სმარტ კონტრაქტის დაუცველობა, რომელიც notoriously გაწვდილი იყო DAO-ის ჰაკით 2016 წელს, რაც გამოიწვია 3.6 მილიონი ETH-ის დაკარგვა და შემდგომი Ethereum-ის მკაცრი განახლება.

• რა არის ეს? ხელახალი შესვლის თავდასხმა მოხდება, როდესაც მავნე კონტრაქტი უკავშირდება ზარის კონტრაქტს, სანამ თავდაპირველი ფუნქციის შესრულება დასრულებული არ არის. ეს საშუალებას აძლევს თავდამსხმელს რამდენჯერმე გაიტანოს თანხები, სანამ მათი ბალანსი განახლდება.
• როგორ მუშაობს:
  1. კონტრაქტ A-ს აქვს withdraw() ფუნქცია, რომელიც ETH-ს უგზავნის მომხმარებელს და შემდეგ განახლებს მომხმარებლის შიდა ბალანსს.
  2. დამსხვრევის კონტრაქტი B იწვევს withdraw().
  3. კონტრაქტი A აგზავნის ETH კონტრაქტ B-ს.
  4. კონტრაქტი B-ს აქვს fallback() ფუნქცია (რომელიც იღებს ETH), რომელიც მყისიერად იძახებს withdraw() კონტრაქტ A-ში კიდევ ერთხელ.
  5. კონტრაქტი A ჯერ არ განახლებია თავდამსხმელის ბალანსი, ამიტომ ხედავს, რომ კონტრაქტი B კვლავ აქვს უფლება მეტი ETH-ის მიღებაზე და ისევ აგზავნის მას.
  6. ეს ციკლი გრძელდება, შლის კონტრაქტ A-ს, სანამ ტრანზაქციის გაზი არ დასრულდება ან კონტრაქტი ცარიელი არ გახდება.
• მפורალი მაგალითი: DAO-ის ჰაკი (2016).
• როგორ ავიცილოთ ეს:
  • გამოიყენეთ Checks-Effects-Interactions ნიმუში: ეს არის ოქროს წესი. ყოველთვის:
    1. შეამოწმეთ ყველა პირობები (მაგალითად, require(balances[msg.sender] >= amount);).
    2. განაახლეთ ყველა შიდა მდგომარეობის ცვლადი (ეფექტები) (მაგალითად, balances[msg.sender] -= რაოდენობა;).
    3. შემდეგ, ურთიერთობა სხვა კონტრაქტებთან ან EOA-ებთან (ურთიერთობები) (მაგ., msg.sender.call{value: amount}("");).
  • გამოიყენეთ რენტრანსულობის დაცვის მექანიზმები: OpenZeppelin უზრუნველყოფს ReentrancyGuard მოდიფიკატორს, რომელიც ბლოკავს ფუნქციას მისი შესრულების დროს, preventing recursive calls.

2. ორკაკლების მანიპულაციის შეტევები

სმარტ კონტრაქტებს ხშირად სჭირდებათ რეალური მონაცემები. ორკაკლები არის სერვისები, რომლებიც ამ მონაცემებს აწვდიან. ორკაკლების მიერ მიწვდილი ფასების მანიპულირება არის მთავარი შეტევის მიმართულება.

• რა არის ეს? შეტევის მახასიათებელი არის აქტივის ფასის მანიპულირება დაბალი ლიკვიდობის მქონე დეცენტრალიზებულ გაცვლაში (DEX) რათა დაბრალება პროტოკოლის ორკლის შეცდომით ფასის ანგარიშზე.
• როგორ მუშაობს:
  1. სესხის პროტოკოლი იყენებს DEX-ის ადგილობრივ ფასს, როგორც თავის ორკლს, რათა განსაზღვროს, რამდენი შეიძლება იქნას გაწვდილი უზრუნველყოფის წინააღმდეგ.
  2. შეტევის შემსრულებელი იღებს ფლეშ სესხს, რათა გამოიტანოს სითხე სავაჭრო წყვილიდან, მაგალითად, ABC/ETH, რაც მას ძალიან არასტაბილურს ხდის.
  3. შემტევი შემდეგ მცირე ოდენობით ABC-ს ვაჭრობს, რათა მნიშვნელოვნად გადაადგილოს მისი ფასი ETH-ის წინააღმდეგ ახლა არაპოპულარულ აუზში.
  4. პროტოკოლის ორკლი ამ მანიპულირებულ ფასს კითხულობს.
  5. შემტევი იყენებს ხელოვნურად გაზრდილ ABC-ს, როგორც გარანტიას, რათა დიდი ოდენობით სხვა, არ მანიპულირებული აქტივები მიიღოს პროტოკოლიდან.
  6. შემტევი აბრუნებს ფლეშ სესხს, და ABC-ის ფასი თავისი შეცდომები თავად გამოსწორდება, მაგრამ პროტოკოლი დატოვებს უვარგისი კოლატერალით და უზარმაზარი ცუდი ვალდებულებით.
• მפורალი მაგალითები: Harvest Finance-ის ჰაკი (34 მილიონი დოლარი დაკარგული), Compound-ის DAI ინციდენტი.
• როგორ უნდა ავიცილოთ ეს:
  • გამოიყენეთ დეცენტრალიზებული ორკლები: გამოიყენეთ ძლიერი ორკლური ქსელები, როგორიცაა Chainlink, რომელიც ბოლო მონაცემების შეგროვება დამოუკიდებელი ნოდებისა და წყაროებიდან, რაც მათ ძალიან რთულ და ძვირადღირებულად ხდის მანიპულაციისთვის.
  • გამოიყენეთ დროის წონით საშუალო ფასები (TWAP): ფასების საშუალო გამოყენება გარკვეულ პერიოდში (მაგ., 30 წუთი) პირდაპირი ადგილობრივი ფასის ნაცვლად, ხანმოკლე მანიპულაციას მოუტანს არამომგებიან შედეგს.
  • გამოიყენეთ მრავალი მონაცემთა წყარო: არ უნდა ერთი კონკრეტული DEX-ის სითხობაზე დამოკიდებულება კრიტიკული ფასის მონაცემებისთვის.

3. მთელი რიცხვების გადაჭარბება და შემცირება

კომპიუტერებს აქვთ შეზღუდვები, თუ რამდენად დიდი შეიძლება იყოს რიცხვი. ერთ uint256 (არასამთავრობო რიცხვი) Solidity-ში მაქსიმალური მნიშვნელობაა 2^256 - 1.

• რა არის ეს?
  • Overflow: როდესაც ოპერაცია (მაგალითად, დამატება) გამოიმუშავებს რიცხვს, რომელიც მაქსიმალურ მნიშვნელობაზე მეტია, ის “შეირყევა” ძალიან მცირე რიცხვზე.
  • Underflow: როდესაც ოპერაცია (მაგალითად, გამოკლება) გამოიმუშავებს რიცხვს, რომელიც ნულზე დაბლაა (უსათაურო მთელი რიცხვების შემთხვევაში, რაც უარყოფითი ვერ იქნება), ის შეირყევა ძალიან დიდ რიცხვზე.
  ნომერი.
• როგორ მუშაობს:
  • ბალანსი 100 ტოკენი. მომხმარებელი ხარჯავს 101. გამოთვლა 100 - 101 შეამცირებს ბალანსს, რაც გამოიწვევს ბალანსის 2^256 - 1 მიღებას, რაც ფაქტიურად მომხმარებელს თითქმის უსასრულო ბალანსს აძლევს.
• როგორ ავიცილოთ 4.
  • გამოიყენეთ Solidity 0.8.x ან უფრო ახალი: კომპილატორი ავტომატურად ამოწმებს გადაჭარბებებს/დაბალანსებებს და უკუქცევს ტრანზაქციებს, სადაც ისინი ხდება.
  • გამოიყენეთ SafeMath ძველ კომპილატორებზე: OpenZeppelin SafeMath ბიბლიოთეკა უზრუნველყოფს უსაფრთხო არითმეტიკული ოპერაციების ფუნქციებს v0.8-ის წინ.