일반적인 스마트 계약에 있어서는 상당히 괜찮은 기준점입니다. 형식 검증 여전히 ​​비용이 많이 들지만, AI는 형식 검증 테스트를 작성하는 데 상당히 능숙합니다. 따라서 어려운 부분은 어떤 불변 조건을 강제할 가치가 있는지 생각하는 것입니다. 스마트 계약이 위험을 관리하거나 시장 변동성에 의존하는 경우, 요구되는 기준은 훨씬 더 높아집니다. 오라클 디자인은 엄청나게 복잡한 문제입니다. * 크랭크/키퍼의 페일오버, 오라클 복원력 * 위험 매개변수 보정 * 불변성 검사 --- 과거에는 위와 같은 일을 하려면 팀에 자금, 뛰어난 판단력, 그리고 훌륭한 개발자가 모두 필요했습니다. 하지만 코드가 저렴해지거나 무료가 되면서, 뛰어난 판단력이 점점 더 중요한 차별화 요소가 되고 있습니다.