Tədbirlər : (1) Tianle Sun, Huazhong Bilim və Teknoloji Universiteti; 2) Ningyu He, Pekin Universiteti; (3) Jiang Xiao, Huazhong Bilim və Teknoloji Universiteti; Yinliang Yue, Zhongguancun Laboratoriyası 5) Xiapu Luo, Hong Kong Politehnik Universiteti; (6) Haoyu Wang, Huazhong Bilim və Teknoloji Universiteti. : Authors (1) Tianle Sun, Huazhong Bilim və Teknoloji Universiteti; 2) Ningyu He, Pekin Universiteti; (3) Jiang Xiao, Huazhong Bilim və Teknoloji Universiteti; Yinliang Yue, Zhongguancun Laboratoriyası 5) Xiapu Luo, Hong Kong Politehnik Universiteti; (6) Haoyu Wang, Huazhong Bilim və Teknoloji Universiteti. Sol tərəfdə masa Abstrakt və 1. Background 2.1 Ethereum Primer 2.2 Whitelisted Address Verification 2.3 Taint Analysis on Smart Contracts and 2.4 Threat Model Motivating Example and Challenges 3.1 Motivating Example 3.2 Challenges 3.3 Limitations of Existing Tools Design of AVVERIFIER and 4.1 Overview 4.2 Notations 4.3 Component#1: Code Grapher 4.4 Component#2: EVM Simulator 4.5 Component#3: Vulnerability Detector Evaluation 5.1 Experimental Setup & Research Questions 5.2 RQ1: Effectiveness & Efficiency 5.3 RQ2: Characteristics of Real-world Vulnerable Contracts 5.4 RQ3: Real-time Detection Discussion 6.1 Threats to Validity and 6.2 Limitations 6.3 Ethical Consideration Related Work Conclusion, Availability, and References Abstraksiya Ethereum-da, keçid adlarının validliyini verifikasiya prosesi yayılmış bir praktikadır, bu da smart kontratların təhlükəsiz işləməsini təmin etmək üçün əsas adımdır. Adres verifikasiyasının prosesində qadağanlıqlar böyük təhlükəsizlik problemlərinə səbəb ola bilər, və anekdotal dəlillər topluluğumuz tərəfindən bildirilmişdir. Bununla yanaşı, bu tip qadağanlıq yaxşı araşdırılmamışdır. boşluğu doldurmaq üçün, bu kitabda, bu türkiyədəki qadağanlıqları karakterize etmək və aşkar etmək niyyətindəyiz. Biz statik EVM opcode simülasiyasına dayandırılan hafif zəlzələ analizçisi olan AVVERIFIER-i dizayn və həyata keçiririk. Onun üç fəsadlı detektoru yalan pozitifləri və yalan negatifləri fərqli xüsusiyyətlərə dayandırmaq üçün progresivləşdirə bilər 1 Introduction “Satoshi Nakamoto”un “Bitcoin”i başlatdıqdan sonra “Blockchain” platformaları ortaya çıxmışdır.Onların arasında “Ethereum” ən çox tanınan platformdur. Bu, dəyişə bilməyən bir script parçası olaraq qəbul edilə bilər ki, bu, əvvəlcədən definisiyalı ehtimalların tamamlandıqdan sonra müəyyən bir şəkildə işləyə bilər. smart sözleşmə Xatırladaq ki, son illərdə “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum” şirkəti “Ethereum Ethereum smart kontratlarında qürurluqların avtomatik identifikasiyası yaxşı araşdırılmış bir temadır [14, 37, 46, 47, 56, 70, 72, 78]. Kontratların sayını və sahə negatiflər tərəfindən yaranan ekonomik zərərləri gözləyir, bir qədər düzgünlük garantiya edə biləcək statik simbolik işləmə, ana analitik metodu olaraq istifadə edilir. Misal olaraq, Mythril [70] Ethereum kontratları üçün statik bytecode-level simbolik işləməkdir, ancaq Slither [31], yüksək effektivlik və effektivlik əldə etməyi iddia edən kök kodu ilə çalışır. VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. VVD - Hollandiyada futbolçu bu adla tanımır ki, Hollandiyada, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu.Bundan sonra da VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. VVD - Hollandiyada futbolçu bu adla tanımır ki, Hollandiyada, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. This work. Avverifier 5 milyondan çox "Ethereum" və "BSC" blok platformasında real-time detektor olaraq AVVERIFER-i istifadə etdiyimizə görə Avverifier 812 qürurlu sözleşmə və 348 "open-source" smart sözleşmə daha da doğrulandığını göstərir. Bu yazıya aşağıdaki köməklər verilir: Biz statik EVM simülasiyasına dayandırılmış, effektiv və effektiv bir taint analiziçi olan AVVERIFIER-i tasarladıq və həyata keçiririk. “Ethereum”da 5 milyondan çox smart kontratlara AVVERIFIER-i tətbiq etdik və daha əvvəl topluluğumuz tərəfindən açıqlanmadığı yüzlerce təhlükəli smart kontratları aşkar etdik. • Mythril, Ethainter, Jackal və ETHBMC ilə qarşılaşıb, AVVERIFIER analiz effektivliyi 2-5 dəfə artıra bilər və 94,3% həddi və stabil referentlərin 100%-ni geri qaytarır. • Biz Ethereum və BSC-də real-time detektor kimi AVVERIFIER-i yerləşdirdik. Bu dokument CC BY 4.0 DEED lisenziyası altında arxivdə verilmişdir. Bu dokument CC BY 4.0 DEED lisenziyası altında arxivdə verilmişdir. Arşivdə hazırlıq [1] Bu alətlər adres verifikasiya həddi tespit edə bilməyəcəklərini gözləyin, adil bir bənzər üçün onların üstündə aynı detektasiya logikası uygulanmışıq.