25 июля 2024 года @DelphinusLab и CertiK объявили о создании стратегического партнерства, целью которого является совместное улучшение безопасности технологии zkWasm и содействие разработке приложений в экосистеме zkWasm.
Delphinus Lab является лидером в области нулевых доказательств и технологии WebAssembly, стремясь предоставить безопасную и повышающую уровень конфиденциальности инфраструктуру для приложений Web2 и Web3 через свой проект zkWASM; развитие zkWasm также финансируется и поддерживается OKX, ORA и EthStorage. CertiK, обладая передовой технологией формальной проверки, в сочетании с глубокими аудитами и тестированием, обеспечивает надежную гарантию безопасности для приложений Web3 и системной инфраструктуры.
На начальном этапе сотрудничества CertiK завершил аудит и формальную проверку схемы zkWasm. Это первая в мире полная формальная проверка схемы виртуальной машины общего нулевого доказательства, что значительно повысило безопасность и надежность экосистемы zkWasm и обеспечило более прочную основу безопасности для Web3 игр на базе WebAssembly и zkWasm, таких как Blade Games и 0xpioneer, а также проектов применения технологии ZK, таких как Spin, zkCross, Pi Square и zkGo (от EthStorage).
Delphinus Lab и CertiK будут работать над дальнейшим расширением анализа безопасности и защиты всей технологии zkWasm. С углублением сотрудничества обе стороны совместно исследуют потенциал применения zkWasm в более широких областях, расширяя его на большее количество аспектов Web3. Благодаря постоянным технологическим инновациям и обеспечению безопасности обе стороны будут продолжать работать над повышением уровня безопасности приложений и инфраструктуры zkWasm, создавая более безопасную, надежную и эффективную экосистему zkWasm.