Toccata는 vProgs보다 Kaspa 메인넷에 약정 및 영지식 검증 기능을 우선적으로 도입했습니다.

Kaspa의 Toccata 하드 포크가 2026년 6월 30일 메인넷에서 활성화되어, 네트워크의 기본 계층 프로그래밍 가능성을 향한 중요한 진전을 이루었습니다. 이번 업그레이드를 통해 Kaspa UTXO는 실제 애플리케이션 상태를 전달할 수 있을 만큼 표현력이 풍부해졌으며, DAA 점수 474,165,565에서 활성화되었습니다.

토카타가 실제로 바꾸는 것

코버넌트는 코인을 누가 어떻게 사용할 수 있는지 제한하는 재귀적 지출 규칙으로, 볼트, 스마트 월렛, 네이티브 자산 및 ZK 지원 구조를 가능하게 합니다. 토카타(Toccata)에서는 UTXO가 이제 지출 시 유효한 후속 UTXO를 생성하도록 요구할 수 있으며 , 이를 통해 네이티브 Kaspa UTXO가 트랜잭션 전반에 걸쳐 애플리케이션 상태를 유지하고 적용할 수 있습니다.

핵심 프로토콜 요소에는 계약 기능의 기반을 형성하는 확장된 스크립트 엔진 opcode 지원(KIP-17), 계보 추적 및 관리를 가능하게 하는 계약 ID(KIP-20), 그리고 레이어 1에서 직접 증명 검증을 가능하게 하는 ZK 검증 opcode(KIP-16)가 포함됩니다.

이번 업그레이드는 두 가지 핵심 기능을 도입합니다. 첫째, Silverscript 컴파일러를 통한 네이티브 레이어 1 코버넌트 프로그래밍이 가능해졌고, 둘째, 제로 지식 기반 애플리케이션 인프라가 구축되었습니다. Silverscript는 주요 상위 레벨 코버넌트 언어이며, Kaspa 공식 문서에서는 이를 권장되는 코버넌트 작성 방향으로 설명하고 있습니다. 컴파일러는 가상 머신이나 인터프리터 없이 레이어 1에서 직접 실행되는 네이티브 Kaspa 스크립트를 생성하며, Kaspa의 합의 레벨 스크립트 엔진을 통해 유효성을 검사합니다.핵심 개발자인 

@michaelsuttonil은 Toccata를 “동기적으로 구성 가능하고 검증 가능한 프로그램”을 향한 단계라고 설명하며, 보다 야심찬 프로그래밍 모델에 앞서 존재하는 인프라 계층으로 규정했습니다.

vProgs: 다음 단계

Toccata는 검증 가능한 프로그램(vProgs)의 전신입니다. vProgs는 오프체인 실행과 온체인 영지식 증명 검증을 지원하는 검증 가능한 프로그램입니다. 이 모델을 통해 애플리케이션 로직은 오프체인에서 실행되고, 영지식 증명은 검증을 위해 베이스 레이어 노드에 게시되어 L1 계층을 간소화하면서 더 복잡한 연산을 수행할 수 있습니다.

Kaspa 문서에 따르면 vProgs는 기반 연산 및 RISC Zero 증명을 위한 진화하는 Rust 런타임이며, 해당 저장소는 안정적인 외부 개발자 API라기보다는 패턴 소스로 간주됩니다. 연구진은 동기적으로 구성 가능한 애플리케이션을 위한 완전한 vProgs 아키텍처가 향후 개발 단계에서 공개될 것이라고 밝혔습니다.

기본 금융 계층은 간결하고 핵심에 집중되어 있으며, 프로그래밍 기능은 핵심 원장을 복잡하게 만들기보다는 향상시키도록 설계되었습니다. Kaspa 로드맵에서 vProgs 이후의 다음 주요 프로토콜 업그레이드는 적응형 합의 및 더 높은 처리량을 목표로 하는 DAGKnight입니다.