Kaspa의 vProgs 탐색: 확장 가능하고 검증 가능한 애플리케이션을 위한 프레임워크

카스파 첫 번째 초안을 발표했습니다. vProgs 옐로페이퍼 11년 2025월 XNUMX일. 이 문서는 제로 지식 증명으로 보호되고 Kaspa에 고정된 오프체인 계산을 가능하게 하는 검증 가능한 프로그램 또는 vProgs에 대한 프로토콜을 자세히 설명합니다. 레이어 1 네트워크. 

이 프레임워크는 네트워크의 높은 블록 생성률을 유지하면서 분산형 애플리케이션을 지원하는 것을 목표로 합니다. @DailyKaspa의 X 게시물, 개발자와 커뮤니티 구성원이 프로젝트 로드맵에 대해 논의할 베를린의 Kaspa Experience 컨퍼런스 하루 전에 발표됩니다.

Kaspa의 BlockDAG 아키텍처 배경

Kaspa는 선형 블록체인과 다르게 작동합니다. 비트코인 or 이더리움. 이 설계는 여러 블록이 병렬로 서로를 참조할 수 있도록 하는 blockDAG를 사용하여 채굴 과정에서 블록을 분리할 필요성을 줄입니다. 이 설계는 요나탄 솜폴린스키가 개발한 GHOSTDAG 프로토콜을 기반으로 하며, 보안을 손상시키지 않으면서 더 높은 블록 생성률을 수용하도록 나카모토 합의 알고리즘을 확장합니다.

현재, 카스파 초당 10개 블록을 처리합니다, 초당 32블록, 장기적으로는 100블록까지 늘릴 계획입니다. 확인은 일반적으로 10~10,000초 이내에 이루어지며, 주요 제한 사항은 온체인 처리보다는 네트워크 지연 시간입니다. 이로 인해 이론적으로 초당 3건 이상의 거래가 가능하며, 이는 샤딩 구현 이전 레이어 7에서 비트코인의 초당 15~30건, 이더리움의 초당 1~XNUMX건을 훨씬 능가합니다.

네트워크는 채굴자들이 계산 퍼즐을 풀어 블록을 추가하는 작업증명(PoW) 합의 방식을 사용합니다. 거래 수수료와 블록 보상은 다음과 같이 지급됩니다. KAS 토큰, Kaspa 네트워크의 기본 암호화폐입니다. Kaspa는 2021년에 벤처 캐피털 투자를 지양하는 공정한 분배 모델을 기반으로 출시되었으며, 이는 커뮤니티 중심의 발전에 기여했습니다. 

Kaspa는 주로 결제 및 데이터 정산을 위한 기반 계층 역할을 해 왔으며, KRC-20과 같은 대체 가능 토큰 표준을 통합했습니다. vProgs 제안 이전에는 스마트 컨트랙트에 대한 기본 지원이 부족하여 기본 작업을 위한 더 간단한 스크립팅에 의존했습니다.

유망한 프로젝트를 발견하세요...

유망한 프로젝트...

(광고)

기사는 계속됩니다...

Kaspa vProgs란 무엇인가요?

vProgs는 검증 가능한 프로그램의 약자로, Kaspa의 Layer 1에서 결과를 검증할 수 있도록 하면서 메인 체인에서 복잡한 논리를 실행하기 위한 시스템을 도입합니다. 각 vProg는 프로그램이 작동하는 방식과 유사하게 자체 상태 및 전환 규칙을 관리하는 독립형 단위로 작동합니다. 솔라 나 하지만 추가적인 제로 지식 증명 검증 기능이 추가되었습니다.

영지식 증명은 증명자가 기본 데이터를 공개하지 않고도 계산의 정확성을 입증할 수 있도록 합니다. vProgs에서는 이러한 증명이 레이어 1에 주기적으로 제출되어 오프체인 활동의 무결성을 확인합니다. 이러한 접근 방식은 메인 체인을 가볍게 유지하고 실행보다는 검증에 집중하며, 이는 Kaspa가 속도와 효율성을 중시하는 방식과 일치합니다.

옐로페이퍼 초안 버전 0.0.1은 vProg를 "주권적이면서도 구성 가능한" 애플리케이션을 가능하게 하는 것으로 설명합니다. 주권이란 각 vProg가 읽기 및 쓰기 권한을 포함하여 내부 작업을 독립적으로 제어한다는 것을 의미합니다. 구성성을 통해 한 vProg가 다른 vProg에서 데이터를 읽어 애플리케이션 간 트랜잭션과 같은 상호 작용을 용이하게 할 수 있지만, 쓰기는 충돌을 방지하기 위해 원래 vProg로 제한됩니다.

vProgs의 개발은 Kaspa 연구 포럼의 2025년 XNUMX월 토론 스레드로 거슬러 올라가며, 참여자들은 다음과 같은 문제를 다루었습니다. 동기식 구성의 과제증명 지연 시간과 리소스 공유를 포함합니다. 초안은 해당 세션의 피드백을 반영하고 있지만, 계정 생성 프로세스와 데이터 정리 메커니즘을 포함한 많은 요소들이 아직 다듬어지지 않았습니다.

vProgs의 핵심 기술 기능

vProgs의 기능을 뒷받침하는 여러 가지 메커니즘은 높은 처리량 환경에서 종속성과 효율성을 처리하도록 설계되었습니다.

프루프 스티칭: 증명 스티칭은 상호 연결된 vProg의 여러 제로 지식 증명을 단일 커밋으로 결합한 다음 레이어 1에 제출합니다. 이를 통해 롤업 기반 시스템에서 일반적인 중간 지연 없이 결과가 동시에 정산되는 애플리케이션 간 원자적 트랜잭션을 지원합니다.

조건부 증명 배치: 조건부 증명 배치는 관련 거래를 그룹화하여 공동 증명을 수행하므로 연산 오버헤드가 줄어듭니다. 예를 들어, 여러 스왑이 포함된 DeFi 시나리오에서 배치를 사용하면 필요한 개별 증명의 수가 줄어듭니다.

계산 DAG: Computation DAG는 Kaspa의 blockDAG 구조를 반영하여 애플리케이션 계층에서 종속성 그래프를 형성합니다. vProg 간의 데이터 흐름을 추적하여 참조된 정보가 사용 가능한 상태로 유지되고 병렬 처리 중에 실행 순서가 유지되도록 합니다. 이 그래프는 종속된 작업의 순서를 지정하여 과부하를 방지합니다.

리소스 측정: 리소스 계량은 비용 관리를 위한 제어 기능을 제공합니다. 내부적으로 각 vProg는 계산을 위해 자체 레이어 2 가스 모델을 사용합니다. 레이어 1에서 ScopeGas는 vProg 간 상호 작용을 계량하여 데이터 종속성을 기반으로 요금을 부과함으로써 스팸이나 과도한 리소스 사용(예: 한 애플리케이션이 다른 애플리케이션의 입력 요구 사항을 초과하는 경우)을 방지합니다.

경제 모델vProgs의 경제 모델은 허가 없이 증명을 생성하고 제출하는 노드인 증명자(prover)에 의존하며, 이들은 사용자로부터 수수료를 받습니다. 활성성, 즉 적시 증명 보장은 두 가지 모드로 작동합니다. 하나는 증명자가 협력하는 낙관적 모드이고, 다른 하나는 애플리케이션이 독립적으로 실행되는 주권 모드입니다. 이러한 설정은 중앙 집중식 코디네이터에 의존하지 않고 참여를 장려합니다.

프라이버시 기능: 개인정보 보호 기능은 영지식 증명에서 자연스럽게 구현되어 기밀 거래나 오라클과 같은 애플리케이션에서 암호화된 상태를 구현할 수 있도록 합니다. 이 프레임워크는 검증 가능한 출력을 Kaspa의 빠른 확인 시간에 연결하여 소액 결제부터 기업 데이터 결제까지 다양한 사용 사례를 지원합니다.

베를린에서 열리는 Kaspa Experience 컨퍼런스

vProgs 발표는 다음과 일치합니다. 카스파 체험13년 2025월 500일 베를린 아틀리에 가든에서 개최되는 커뮤니티 컨퍼런스입니다. 티켓은 150장으로 한정되며, 가격은 50달러이고 애프터 파티 참가비는 XNUMX달러입니다. KAS 토큰으로 결제해야 합니다. 이는 음식, 음료, 상품 판매 등 행사 운영에 암호화폐를 활용하는 초기 단계의 사례입니다.

이번 행사에는 Sompolinsky를 비롯한 핵심 개발자들의 GHOSTDAG 발전에 대한 기조연설, 스마트 컨트랙트 통합 패널 토론, 그리고 실제 구현에 중점을 둔 워크숍이 포함됩니다. 해커톤에서는 프로토타입 제작을 장려하고, Kaspa Art Expo에서는 네트워크의 창의적인 활용 사례를 선보일 예정입니다. vProgs 관련 세션은 일정에 포함되어 있지 않지만, 행사 보도 자료에서는 Kaspa의 프로그래밍 가능 레이어가 DeFi 및 결제 시스템의 기반이 된다는 점을 강조하며 새로운 프레임워크에 대한 비공식적인 논의를 시사합니다.

채굴자, 상인, 개발자 등 다양한 분야의 참석자들이 Kaspa의 탈중앙화 정신을 강조하는 환경에서 네트워킹을 진행할 예정입니다. 이번 컨퍼런스는 Kaspa 프로젝트 최초의 대규모 오프라인 모임으로, 온라인 포럼과 텔레그램 채널을 활용한 협업을 지원합니다.

과제 및 구현 일정

vProgs를 구현하려면 영지식 시스템에서 흔히 발생하는 어려움을 겪습니다. 증명 생성은 여전히 ​​연산 집약적이어서 Kaspa의 빠른 블록 속도에도 불구하고 지연 시간이 발생할 가능성이 있습니다. 개발자는 이더리움 가상 머신과 같은 환경에서 쉽게 포팅할 수 있도록 가상 머신 호환성을 개선해야 합니다.

포럼 참여자들은 한 vProg의 활동이 다른 vProg에 영향을 미치는 외부 효과를 완화하기 위해 가스 공유 모델을 시뮬레이션했습니다. Computation DAG의 데이터 가용성은 중앙 집중화 위험을 방지하기 위해 신중하게 설계되어야 합니다.

2025월 논의 일정에 따르면, 초안에 대한 커뮤니티 피드백을 바탕으로 XNUMX년 XNUMX분기까지 테스트넷을 출시할 예정입니다. 메인넷 전체 통합은 감사 및 성능 벤치마크 결과에 따라 결정되며, 향후 수정을 통해 기능 정리 및 계정 메커니즘 개선이 예정되어 있습니다.

여러 계층에 걸쳐 유동성을 분산시킬 수 있는 이더리움의 롤업이나 처리량 한계를 테스트하는 솔라나의 온체인 실행과 달리, vProgs는 검증 가능한 연산을 작업증명 기반 계층에 직접 통합합니다. 이를 통해 병렬 블록 생성을 활용하면서 분산화를 유지합니다.

결론

vProgs는 구성 가능성을 위한 증명 스티칭, 종속성 관리를 위한 계산 DAG, 리소스 제어를 위한 ScopeGas를 포함하여 제로 지식 증명으로 검증된 오프체인 실행을 위한 도구를 Kaspa에 제공합니다. 

이러한 요소를 통해 애플리케이션은 몇 초마다 블록을 확인하는 네트워크에서 확장 가능하게 작동하여 레이어 1 보안을 손상시키지 않고 DeFi에서 데이터 결제에 이르는 다양한 사용 사례를 지원합니다.

출처 :

• vProgs에 대한 Kaspa Daily X 기사: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Yellow Paper 초안 v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• 동기식 구성성에 대한 Kaspa 연구 포럼 스레드: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• 베를린의 카스파 체험: https://experience.kaspa.events/