스마트 계약 검증에 초점을 맞춘 웹3 보안 보증 플랫폼인 Certora는 칸톤 재단으로부터 Daml 프로젝트를 위한 새로운 오픈 소스 도구 개발을 위해 약 30만 달러 상당의 칸톤 코인 201만 개를 지원받았습니다.
새로운 도구는 Canton Network 기반의 다자간 스마트 계약 시스템 내부 구조를 더 잘 파악할 수 있도록 설계되었습니다. 이 도구는 Daml로 패키징된 스마트 계약인 컴파일된 .dar 파일을 분석하여 서로 다른 계약 패키지 간의 상호 작용을 식별합니다. 또한, 소스 파일 위치와 정확한 줄 번호를 포함하여 한 패키지가 다른 패키지를 호출할 수 있는 권한을 가진 부분을 보여줍니다.
이 프로젝트는 블록체인 보안에서 가장 어려운 부분 중 하나를 해결하고자 합니다. 대규모 다자간 시스템에서 계약 관계와 위임된 권한을 수동으로 추적하는 것은 매우 어려울 수 있습니다. 이는 배포 전에 애플리케이션의 동작 방식을 명확하게 이해해야 하는 개발자, 감사자 및 규정 준수 팀에게 어려움을 야기합니다.
스마트 계약 보안 및 검증 회사인 Certora는 이 도구가 보안 검토 프로세스를 자동화하고 필요한 작업량을 줄이는 데 도움이 될 것이라고 밝혔습니다. Certora는 이 소프트웨어를 Apache 2.0 오픈 소스 라이선스로 배포하고, Canton의 애플리케이션 빌드 및 실행 환경인 dpm에 통합할 계획입니다.
이번 개발은 분산 원장 시스템을 검토 중인 금융 기관을 대상으로도 진행됩니다. 은행 및 인프라 제공업체는 실제 운영 환경에서 블록체인 애플리케이션을 사용하기 전에 계약 동작에 대한 상세한 분석을 필요로 하는 경우가 많습니다.
이미지: 웅장한
