Khám phá vProgs của Kaspa: Khung cho các ứng dụng có thể mở rộng và có thể xác minh

Kaspa đã phát hành bản nháp đầu tiên của Giấy trắng vProgs vào ngày 11 tháng 9 năm 2025. Tài liệu này chi tiết một giao thức cho các chương trình có thể xác minh, hay còn gọi là vProgs, cho phép các phép toán off-chain được bảo mật bằng các chứng minh không biết và được neo vào mạng Layer 1 của Kaspa.

Khung công tác nhằm hỗ trợ các ứng dụng phi tập trung trong khi duy trì tốc độ sản xuất khối cao của mạng. Thông báo, được chia sẻ qua một bài đăng trên X bởi @DailyKaspa, được đưa ra một ngày trước hội nghị Kaspa Experience tại Berlin, nơi các nhà phát triển và thành viên cộng đồng sẽ thảo luận về lộ trình của dự án.

Nền tảng về Kiến trúc BlockDAG của Kaspa

Kaspa hoạt động khác với các blockchain tuyến tính, chẳng hạn như Bitcoin hoặc Ethereum. Nó sử dụng blockDAG, cho phép nhiều khối tham chiếu lẫn nhau theo cách song song, giảm thiểu nhu cầu bỏ rơi các khối trong quá trình khai thác. Thiết kế này dựa trên giao thức GHOSTDAG, được phát triển bởi Yonatan Sompolinsky, mở rộng sự đồng thuận Nakamoto để đáp ứng tỷ lệ khối cao hơn mà không làm giảm tính bảo mật.

Hiện tại, Kaspa xử lý 10 khối mỗi giây, với kế hoạch tăng lên 32 khối mỗi giây và có thể là 100 trong dài hạn. Các xác nhận thường xảy ra trong khoảng một đến 10 giây, với giới hạn chính là độ trễ mạng thay vì xử lý trên chuỗi. Điều này dẫn đến khả năng thông lượng lý thuyết vượt quá 10.000 giao dịch mỗi giây, vượt xa Bitcoin với 3 đến 7 giao dịch mỗi giây hoặc Ethereum với 15 đến 30 giao dịch mỗi giây trên Layer 1 trước khi triển khai sharding.

Mạng lưới dựa vào sự đồng thuận proof-of-work, nơi các thợ mỏ giải các câu đố tính toán để thêm các khối. Phí giao dịch và phần thưởng khối được trả bằng KAS tokens, đồng tiền kỹ thuật số gốc của mạng lưới Kaspa. Kaspa ra mắt vào năm 2021 với một mô hình phân phối công bằng, tránh việc tài trợ từ vốn mạo hiểm, điều này đã góp phần vào sự phát triển do cộng đồng dẫn dắt.

Kaspa chủ yếu đã phục vụ như một lớp nền cho thanh toán và giải quyết dữ liệu, tích hợp các tiêu chuẩn như KRC-20 cho các token có thể thay thế. Cho đến đề xuất vProgs, nó không có hỗ trợ gốc cho hợp đồng thông minh, dựa vào scripting đơn giản hơn cho các hoạt động cơ bản.

Kaspa vProgs là gì?

vProgs, viết tắt của các chương trình có thể xác minh, giới thiệu một hệ thống để thực thi logic phức tạp off-chain trong khi đảm bảo rằng các kết quả có thể được xác minh trên Layer 1 của Kaspa. Mỗi vProg hoạt động như một đơn vị độc lập, quản lý trạng thái và quy tắc chuyển đổi của riêng nó, tương tự như cách các chương trình hoạt động trên Solana nhưng với sự xác minh bằng chứng không kiến thức bổ sung.

Bằng chứng không biết (Zero-knowledge proofs) cho phép một bên chứng minh tính chính xác của một phép toán mà không tiết lộ dữ liệu cơ sở. Trong vProgs, những bằng chứng này được nộp định kỳ cho Layer 1, xác nhận tính toàn vẹn của các hoạt động off-chain. Cách tiếp cận này giữ cho chuỗi chính nhẹ, tập trung vào việc xác thực thay vì thực thi, điều này phù hợp với sự nhấn mạnh của Kaspa về tốc độ và hiệu quả.

Bản nháp Yellow Paper, phiên bản 0.0.1, mô tả vProgs như là các ứng dụng "chủ quyền nhưng có thể kết hợp". Chủ quyền có nghĩa là mỗi vProg điều khiển các hoạt động nội bộ của nó một cách độc lập, bao gồm quyền đọc và ghi. Tính khả kết hợp cho phép một vProg đọc dữ liệu từ vProg khác, tạo điều kiện cho các tương tác như giao dịch giữa các ứng dụng, nhưng việc ghi lại được hạn chế cho vProg nguồn gốc để tránh xung đột.

Sự phát triển của vProgs bắt nguồn từ một chủ đề thảo luận vào tháng 8 năm 2025 trên diễn đàn nghiên cứu của Kaspa, nơi các cộng tác viên đã đề cập đến những thách thức trong tính khả thi đồng bộ, bao gồm độ trễ chứng minh và chia sẻ tài nguyên. Bản dự thảo tích hợp phản hồi từ các phiên họp đó, mặc dù nhiều yếu tố vẫn đang trong quá trình hoàn thiện, bao gồm quy trình tạo tài khoản và cơ chế cắt dữ liệu.

Các Tính Năng Kỹ Thuật Cốt Lõi của vProgs

Nhiều cơ chế hỗ trợ chức năng của vProgs, được thiết kế để xử lý các phụ thuộc và hiệu suất trong một môi trường có lưu lượng cao:

Proof Stitching: Proof stitching kết hợp nhiều chứng minh không tri thức từ các vProg liên kết thành một cam kết duy nhất, sau đó được gửi đến Layer 1. Điều này hỗ trợ các giao dịch nguyên tử giữa các ứng dụng, nơi mà các kết quả được giải quyết đồng thời mà không có sự trì hoãn trung gian thường thấy trong các hệ thống dựa trên rollup.

Lô Chứng Minh Điều Kiện: Lô chứng minh điều kiện nhóm các giao dịch liên quan để chứng minh tập thể, điều này giảm thiểu chi phí tính toán. Ví dụ, trong một kịch bản DeFi liên quan đến nhiều giao dịch hoán đổi, việc gộp lại giảm số lượng chứng minh cá nhân cần thiết.

DAG Tính Toán: DAG Tính Toán hình thành một đồ thị phụ thuộc tại lớp ứng dụng, phản ánh cấu trúc blockDAG của Kaspa. Nó theo dõi luồng dữ liệu giữa các vProg, đảm bảo rằng thông tin được tham chiếu vẫn có sẵn và rằng thứ tự thực thi được duy trì trong bối cảnh xử lý song song. Đồ thị này giúp ngăn ngừa quá tải bằng cách sắp xếp các hoạt động phụ thuộc.

Đo lường Tài nguyên: Đo lường tài nguyên giới thiệu các biện pháp kiểm soát để quản lý chi phí. Bên trong, mỗi vProg sử dụng mô hình gas Layer 2 riêng của nó cho các phép tính. Trên Layer 1, ScopeGas đo lường các tương tác giữa các vProg, tính phí dựa trên các phụ thuộc dữ liệu nhằm ngăn chặn việc spam hoặc sử dụng tài nguyên quá mức, chẳng hạn như một ứng dụng làm tràn ngập yêu cầu đầu vào của ứng dụng khác.

Mô hình Kinh tế: Mô hình kinh tế cho vProgs dựa trên các prover không cần quyền hạn—các nút tạo ra và nộp chứng minh—những người kiếm phí từ người dùng. Sự sống động, hay đảm bảo về các chứng minh kịp thời, hoạt động thông qua hai chế độ: lạc quan, nơi các prover hợp tác, hoặc chủ quyền, nơi các ứng dụng chạy độc lập. Thiết lập này khuyến khích sự tham gia mà không cần phụ thuộc vào các điều phối viên tập trung.

Tính Năng Bảo Mật: Các tính năng bảo mật xuất phát một cách tự nhiên từ các chứng minh không kiến thức, cho phép các trạng thái được mã hóa trong các ứng dụng như giao dịch bảo mật hoặc oracle. Khung công tác hỗ trợ nhiều trường hợp sử dụng, từ thanh toán vi mô đến thanh toán dữ liệu doanh nghiệp, bằng cách neo các đầu ra có thể xác minh vào thời gian xác nhận nhanh chóng của Kaspa.

Hội nghị Trải nghiệm Kaspa tại Berlin

Thông báo vProgs phù hợp với Trải nghiệm Kaspa, một hội nghị cộng đồng dự kiến diễn ra vào ngày 13 tháng 9 năm 2025, tại Atelier Gardens ở Berlin. Sự kiện một ngày này, giới hạn 500 vé có giá 150 đô la cộng với phí tiệc tùng 50 đô la, yêu cầu thanh toán bằng token KAS, đánh dấu một ứng dụng thực tế sớm của tiền điện tử cho logistics sự kiện, bao gồm thực phẩm, đồ uống và hàng hóa.

Chương trình bao gồm các bài phát biểu chính từ các nhà phát triển cốt lõi, trong đó có Sompolinsky về những tiến bộ trong GHOSTDAG, các buổi thảo luận về việc tích hợp hợp đồng thông minh, và các hội thảo tập trung vào việc triển khai thực tế. Một cuộc thi hackathon sẽ khuyến khích việc tạo mẫu, cùng với một Triển lãm Nghệ thuật Kaspa giới thiệu những ứng dụng sáng tạo của mạng lưới. Mặc dù không có phiên vProgs nào được ghi trong lịch trình, tài liệu báo chí của sự kiện nhấn mạnh lớp lập trình của Kaspa như một nền tảng cho DeFi và hệ thống thanh toán, gợi ý về các cuộc thảo luận không chính thức về khuôn khổ mới.

Người tham dự, được chọn từ các thợ đào, thương nhân và nhà phát triển, sẽ kết nối trong một môi trường nhấn mạnh triết lý phi tập trung của Kaspa. Hội nghị đại diện cho sự kiện tụ họp trực tiếp lớn đầu tiên của dự án, xây dựng trên các diễn đàn trực tuyến và kênh Telegram để hợp tác.

Thách thức và Thời gian Triển khai

Việc triển khai vProgs gặp phải những trở ngại phổ biến của các hệ thống không có kiến thức. Việc tạo chứng minh vẫn tốn nhiều tài nguyên tính toán, có thể gây ra độ trễ mặc dù tốc độ khối của Kaspa rất cao. Các nhà phát triển phải giải quyết tính tương thích của máy ảo để dễ dàng chuyển đổi từ các môi trường như Máy ảo Ethereum.

Các cộng tác viên diễn đàn đã mô phỏng các mô hình chia sẻ gas để giảm thiểu các tác động bên ngoài, nơi hoạt động của một vProg ảnh hưởng đến những vProg khác. Tính khả dụng của dữ liệu trong Computation DAG yêu cầu thiết kế cẩn thận để tránh rủi ro tập trung.

Các mốc thời gian từ các cuộc thảo luận vào tháng 8 cho thấy việc triển khai testnet vào quý 4 năm 2025, sau khi nhận phản hồi từ cộng đồng về bản dự thảo. Việc tích hợp mainnet hoàn chỉnh sẽ phụ thuộc vào việc kiểm toán và các tiêu chuẩn hiệu suất, với cơ chế cắt tỉa và tài khoản dự kiến sẽ được điều chỉnh trong các bản sửa đổi tương lai.

So với các rollup của Ethereum, có thể phân mảnh thanh khoản giữa các lớp, hoặc việc thực thi trên chuỗi của Solana, thử nghiệm giới hạn thông lượng, vProgs tìm cách tích hợp tính toán có thể xác minh trực tiếp vào lớp cơ sở proof-of-work. Điều này bảo tồn sự phi tập trung trong khi tận dụng sản xuất khối song song.

Kết luận

vProgs trang bị cho Kaspa các công cụ để thực thi off-chain được xác minh bằng các bằng chứng không kiến thức, bao gồm việc nối bằng chứng cho khả năng kết hợp, một DAG Tính Toán để quản lý phụ thuộc, và ScopeGas để kiểm soát tài nguyên.

Các yếu tố này cho phép các ứng dụng hoạt động một cách mở rộng trên một mạng lưới xác nhận các khối mỗi vài giây, hỗ trợ các trường hợp sử dụng từ DeFi đến giải quyết dữ liệu mà không làm ảnh hưởng đến bảo mật Layer 1.

Nguồn:

• Bài viết Kaspa Daily X về vProgs:
• Bản Nháp Giấy Vàng vProgs v0.0.1:
• Diễn đàn Nghiên cứu Kaspa về Tính kết hợp đồng bộ:
• Trải nghiệm Kaspa tại Berlin: