Reducing the Trust Surface
Ethereum Foundation · 32:07 · Watch on YouTube
형식 검증은 AI가 발견하는 버그의 끝없는 순환을 멈추는 방법으로 제시된다. 시스템이 해야 할 일을 검사 가능한 증명으로 바꾸고, 그 증명이 성공할 때까지 에이전트가 코드를 다시 쓰게 하는 것이다. 첫 번째 발표자(나중에 Mully로 불림)는 귀납과 이더리움 사례로 증명이 도움이 되는 곳과 여전히 실패하는 곳을 보여 주고, 이어서 Derek은 ZK 회로, EVM, 암호학을 검증하려는 이...