미국 뉴욕주 뉴욕시, 2026년 5월 21일, Chainwire
Certora는 Web3 분야에서 가장 앞선 팀들이 신뢰하는 엔드 투 엔드 보안 보증 플랫폼으로, Canton Development Fund로부터 약 30만 달러 상당의 2,010,000 Canton Coin 보조금을 지원받아 Daml 프로젝트용 새로운 오픈소스 정적 분석 도구를 구축한다. 이 이니셔티브는 스마트 컨트랙트 동작을 완전히 투명하고 기계적으로 검증 가능하게 만들기 위한 Certora의 지속적인 작업을 지원하며, 그 능력을 Canton Network 위에서 구축하는 기관들로 확장하는 것을 목표로 한다.
Certora의 도구는 컴파일된 .dar 파일, 즉 Canton의 컴파일된 스마트 컨트랙트 패키지를 분석하여 교차 패키지 상호작용을 탐지하고 시각화한다. 이는 스마트 컨트랙트 시스템에서 가장 복잡하고 다루기 어려운 측면 중 하나다. 이 도구는 한 패키지가 다른 패키지를 호출할 권한을 갖는 모든 지점을 찾아내며, 소스 파일 경로와 정확한 행 번호와 같은 세부 참조 정보도 함께 제공한다. 각 Daml 컨트랙트의 전체 공급망을 추적하는 것은 Canton에서 스마트 컨트랙트와 상호작용할 때의 개인정보 보호 영향을 이해하는 데 필수적이다. 의도치 않은 정보 노출이 중대한 결과를 초래할 수 있는 Canton의 프라이버시 우선 아키텍처에서는 이러한 수준의 가시성이 매우 중요하다. Certora의 도구는 기업이 Daml 컨트랙트를 배포하거나 상호작용하기 전에 수행해야 하는 분석을 자동화한다.
패키지 간 권한 위임은 다중 참여자 스마트 컨트랙트 시스템에서 수동으로 감사를 수행할 때 가장 어려운 측면 중 하나다. 이 과정을 자동화함으로써, 해당 도구는 개발, 보안, 컴플라이언스 팀의 부담을 줄이고 Canton 기반 애플리케이션을 평가하는 기관들의 신뢰를 높인다.
이 도구는 Apache 2.0 라이선스 하에 공개되며, Canton 애플리케이션을 빌드·테스트·실행하는 데 사용되는 Canton의 명령줄 도구 dpm에 직접 통합되어, Daml 기반 다중 참여자 애플리케이션을 개발하는 이들에게 손쉽게 제공될 예정이다.
은행, 금융기관, 인프라 제공업체가 분산원장 인프라를 평가할 때, 배포 전에 스마트 컨트랙트의 정확한 동작을 이해하는 것은 필수 요건이다. Certora의 도구는 이러한 엄격한 수준의 검증을 Canton 생태계에 도입한다.
“금융기관이 중요한 인프라를 분산원장 시스템으로 이전함에 따라, 스마트 컨트랙트 보증에 대한 기준도 함께 높아져야 합니다. Certora가 Canton 재단과 함께하는 일은 바로 그 기준을 충족하는 것으로, 우리가 DeFi를 위해 구축해 온 것과 같은 엄격하고 자동화된 분석을 가장 필요로 하는 기관에 제공하는 것입니다.”라고 Certora 공동 설립자 Mooly Sagiv는 말했다.
분산 시스템에서의 신뢰는 블록체인 도입의 주요 과제다. Canton의 프라이버시 우선 아키텍처는 공용 블록체인에 안전하게 참여할 수 있는 방식을 제공하지만, 신뢰할 수 있는 검증자조차도 스마트 컨트랙트의 동작을 완전히 이해하고 검증할 수 있어야 한다.
Certora는 개발자와 운영자가 패키지 간 컨트랙트 상호작용 방식을 명확하고 실행 가능한 통찰로 파악할 수 있도록 하여, 배포 전에 보안 위험을 평가할 수 있게 한다. 더 자세한 정보는 certora.com에서 확인할 수 있다.
Certora 소개
Certora는 Web3에서 가장 앞선 팀들이 신뢰하는 보안 보증 파트너다. 프로그래밍 언어 및 형식 기법 분야의 선구자들이 2018년에 설립했으며, Lido, Aave, Uniswap, Compound와 같은 주요 프로토콜이 수십억 달러 규모의 가치를 안심하고 보호할 수 있도록 지원하고 있다.
Canton 재단 소개
The Canton Foundation은 규제 금융 서비스를 위해 구축된 프라이버시 지원 블록체인 네트워크인 Canton Network의 독립적인 운영 기구다. 재단은 네트워크 거버넌스, 생태계 개발, 참가자 온보딩을 감독한다.
Contact
Senior PR Manager
Lauren Bukoskey
[email protected]