Baru saja menutup audit pertama saya tahun ini Jumat lalu itu adalah basis kode yang benar-benar ditulis dengan baik. Namun, bahkan ketika pengembang melakukan pekerjaan yang luar biasa, ketika protokol mencapai tingkat kompleksitas yang cukup, cenderung ada segala macam area di mana Anda dapat menunjukkan hal-hal untuk membantu sehingga Anda dapat menjawab pertanyaan seperti - Bagaimana insentif dalam suatu sistem memengaruhi aktor, dan dapatkah mereka memotivasi perilaku buruk? - Dapatkah penyalahgunaan fungsionalitas tanpa izin secara tak terduga menghalangi tujuan penggunaan? - apakah ada risiko DoS karena tidak memberlakukan batasan tertentu? dan untuk apa nilainya, penggunaan AI saya tidak mengarah pada menemukan masalah semacam di atas