서틱, zkWasm 회로 형식 검증…일부 로직은 제외

토큰포스트 · 2026-09-28 14:52 UTC

서틱(CertiK)이 2024년 완료한 zkWasm 핵심 회로의 형식 검증 성과가 재조명됐다. 다만 이는 2026년 새로 완료된 작업이 아니라 기존 연구 결과를 다시 소개한 내용이다.

요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.

같은 날 다른 소식