Зараз я виконує блок-за-блоком зворотне тестування і глибоко аналізую програми Anchor зокрема.
Маю цікаву робочу схему — використовуючи допомогу ШІ для систематичного огляду кожної програми по черзі. Ідея полягає у використанні машинного навчання для аналізу та оптимізації коду, працюючи через логіку послідовно, а не покладаючись на ручні перевірки.
Це досить нова територія, чесно кажучи. Мати модель ШІ, яка активно співпрацює у розгортанні та перевірці смарт-контрактів Solana на такому рівні деталізації — це щось, що ми рідко бачимо у виробничих умовах. Детальний підхід до тестування кожної програми Anchor послідовно має виявити крайні випадки, які можуть пропустити традиційні аудити.
Цікаво побачити, як це прискорить наш цикл розробки.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
12 лайків
Нагородити
12
7
Репост
Поділіться
Прокоментувати
0/400
Token_Sherpa
· 6год тому
ngl, ai-assisted code audits звучать чудово, поки не зрозумієш, що це просто пошук шаблонів для дорогих помилок у іншому пакеті. цікаво, який у вас фактичний рівень хибних спрацьовувань.
Переглянути оригіналвідповісти на0
MetamaskMechanic
· 6год тому
ngl AI-аудит програма anchor звучить непогано, але все залежить від того, чи зможе вона дійсно виявити ті приховані баги в кінці.
Переглянути оригіналвідповісти на0
BlockchainBard
· 7год тому
Чи дійсно надійний AI для перевірки коду? Постійно здається, що він пропускає деякі похмурі крайні випадки
Переглянути оригіналвідповісти на0
LiquidationHunter
· 7год тому
ngl ai допомога аудитам програми anchor дійсно крута, тестування поетапно кожного елемента дозволяє виявити багато речей, які традиційний аудит пропускає
Переглянути оригіналвідповісти на0
GasFeeCrybaby
· 7год тому
ai проводить аудит? Звучить досить круто, але чи справді він може виявити приховані баги?
Переглянути оригіналвідповісти на0
BearMarketBuyer
· 7год тому
AI-помічений аудит контрактів, цей підхід дійсно свіжий, але боязнь у тому, що в кінці все одно не уникнути прихованих пасток
Переглянути оригіналвідповісти на0
0xLuckbox
· 7год тому
Чесно кажучи, ця ідея AI-поміченого аудиту Anchor досить цікава, порівняно з традиційним аудитом вона справді може вловити більше дрібниць
Зараз я виконує блок-за-блоком зворотне тестування і глибоко аналізую програми Anchor зокрема.
Маю цікаву робочу схему — використовуючи допомогу ШІ для систематичного огляду кожної програми по черзі. Ідея полягає у використанні машинного навчання для аналізу та оптимізації коду, працюючи через логіку послідовно, а не покладаючись на ручні перевірки.
Це досить нова територія, чесно кажучи. Мати модель ШІ, яка активно співпрацює у розгортанні та перевірці смарт-контрактів Solana на такому рівні деталізації — це щось, що ми рідко бачимо у виробничих умовах. Детальний підхід до тестування кожної програми Anchor послідовно має виявити крайні випадки, які можуть пропустити традиційні аудити.
Цікаво побачити, як це прискорить наш цикл розробки.