AuditGPT는 대규모 언어 모델을 활용하여 스마트 계약이 ERC 규칙을 준수하는지 자동으로 검증한다.
스마트 계약은 신뢰할 수 있는 제3자 없이 안전한 거래를 가능하게 하지만, 현재 스마트 계약 언어는 신뢰와 책임성을 보장하는 데 한계가 있다. 사이버로직 프레임워크는 신뢰와 책임성을 명시적으로 다룰 수 있는 언어를 제공하여 안전하고 신뢰할 수 있는 스마트 계약 설계를 가능하게 한다.
복잡한 스마트 계약의 재진입 취약점을 효율적으로 탐지하기 위해 프로그램 슬라이싱과 기호 실행을 결합한 SliSE 방법을 제안한다.