Nowy Jork, Nowy Jork, 21 maja 2026, Chainwire
Certora, kompleksowa platforma zapewniania bezpieczeństwa, której ufają najbardziej zaawansowane zespoły Web3, otrzymała grant w wysokości 2 010 000 Canton Coin (około 300 tys. USD) z Canton Development Fund na zbudowanie nowego, otwartoźródłowego narzędzia do analizy statycznej dla projektów Daml. Inicjatywa ma wesprzeć trwające prace Certora nad uczynieniem zachowania smart kontraktów w pełni przejrzystym i możliwym do maszynowej weryfikacji, rozszerzając te możliwości na instytucje budujące rozwiązania w sieci Canton Network.
Narzędzie Certory będzie analizować skompilowane pliki .dar, skompilowane pakiety smart kontraktów Cantona, aby wykrywać i wizualizować interakcje między pakietami – jeden z najbardziej złożonych i trudnych aspektów systemów smart kontraktów. Zidentyfikuje każdy przypadek, w którym jeden pakiet ma uprawnienie do wywoływania innego, wraz ze szczegółowymi odniesieniami, takimi jak ścieżki do plików źródłowych i dokładne numery linii. Prześledzenie pełnego łańcucha dostaw każdego kontraktu Daml jest kluczowe dla zrozumienia implikacji prywatności przy wchodzeniu w interakcję ze smart kontraktem w Canton. Taki poziom wglądu ma fundamentalne znaczenie w architekturze “privacy‑first” Cantona, gdzie niezamierzone ujawnienie informacji może mieć poważne konsekwencje. Narzędzie Certory automatyzuje analizę, której przedsiębiorstwa potrzebują przed wdrożeniem lub nawiązaniem interakcji z kontraktem Daml.
Delegowanie uprawnień pomiędzy pakietami jest jednym z najtrudniejszych elementów ręcznego audytu wielostronnych systemów smart kontraktów. Dzięki automatyzacji tego procesu narzędzie zmniejsza obciążenie zespołów deweloperskich, bezpieczeństwa i zgodności, a także zwiększa zaufanie instytucji oceniających aplikacje oparte na Canton.
Narzędzie zostanie udostępnione na licencji Apache 2.0 i zintegrowane bezpośrednio z dpm, narzędziem wiersza poleceń Cantona używanym do budowania, testowania i uruchamiania aplikacji Canton, co zapewni łatwy dostęp deweloperom budującym wielostronne aplikacje w Daml.
Dla banków, instytucji finansowych i dostawców infrastruktury oceniających infrastrukturę rozproszonych rejestrów, zrozumienie dokładnego zachowania smart kontraktów przed wdrożeniem jest warunkiem koniecznym. Narzędzie Certory wprowadza taki rygor do ekosystemu Canton.
„W miarę jak instytucje finansowe przenoszą poważną infrastrukturę na systemy oparte na rozproszonym rejestrze, poprzeczka dla zapewnienia jakości smart kontraktów musi rosnąć razem z nimi. Praca Certory z Canton Foundation polega na osiągnięciu tego poziomu – wniesieniu tak samo rygorystycznej, zautomatyzowanej analizy, jaką zbudowaliśmy dla DeFi, do instytucji, które najbardziej jej potrzebują” – powiedział Mooly Sagiv, współzałożyciel Certora.
Zaufanie do systemów rozproszonych jest jednym z głównych wyzwań przy adopcji blockchaina. Architektura „privacy‑first” Cantona zapewnia bezpieczny sposób udziału w publicznych blockchainach, ale nawet zaufani walidatorzy muszą mieć zachowanie smart kontraktów w pełni zrozumiałe i możliwe do weryfikacji.
Certora dostarczy deweloperom i operatorom jasne, praktyczne informacje o tym, jak kontrakty wchodzą w interakcje między pakietami, pozwalając im ocenić ryzyka bezpieczeństwa przed wdrożeniem. Aby dowiedzieć się więcej, odwiedź certora.com.
O Certora
Certora jest partnerem w zakresie zapewniania bezpieczeństwa, któremu ufają najbardziej zaawansowane zespoły Web3. Założona w 2018 roku przez pionierów języków programowania i metod formalnych, Certora pomaga czołowym protokołom, takim jak Lido, Aave, Uniswap i Compound, z pełnym przekonaniem zabezpieczać wartości liczone w miliardach.
O Canton Foundation
The Canton Foundation jest niezależnym organem zarządzającym siecią Canton, blockchainem z obsługą prywatności, zbudowanym dla regulowanych usług finansowych. Fundacja nadzoruje zarządzanie siecią, rozwój ekosystemu oraz onboarding uczestników.
Kontakt
Senior PR Manager
Lauren Bukoskey
[email protected]