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

gàu đã phát hành bản thảo đầu tiên của nó Sách vàng vProgs vào ngày 11 tháng 2025 năm XNUMX. Tài liệu này trình bày chi tiết một giao thức cho các chương trình có thể xác minh hoặc vProgs, cho phép tính toán ngoài chuỗi được bảo mật bằng bằng chứng không kiến ​​thức và được neo vào Kaspa Mạng lớp 1. 

Khung này nhằm mục đích hỗ trợ các ứng dụng phi tập trung trong khi vẫn duy trì tốc độ sản xuất khối cao của mạng lưới. Thông báo được chia sẻ qua Bài đăng X của @DailyKaspa, diễn ra một ngày trước hội nghị Kaspa Experience ở 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.

Bối cảnh 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ư giá BTC, or Ethereum. Nó sử dụng blockDAG, cho phép nhiều khối tham chiếu lẫn nhau song song, giảm nhu cầu tách khối trong quá trình khai thác. Thiết kế này dựa trên giao thức GHOSTDAG, do Yonatan Sompolinsky phát triển, mở rộng sự đồng thuận Nakamoto để đáp ứng tốc độ khối cao hơn mà không ảnh hưởng đến 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ó khả năng lên đến 100 khối trong dài hạn. Việc xác nhận thường diễn ra trong vòng một đến 10 giây, với hạn chế chính là độ trễ mạng chứ không phải xử lý trên chuỗi. Điều này dẫn đến thông lượng lý thuyết lên tới hơn 10,000 giao dịch mỗi giây, vượt xa mức 3 đến 7 giao dịch mỗi giây của Bitcoin hoặc 15 đến 30 giao dịch mỗi giây của Ethereum trên Lớp 1 trước khi triển khai phân mảnh.

Mạng lưới dựa trên sự đồng thuận bằng chứng công việc, trong đó các thợ đào giải các câu đố tính toán để thêm khối. Phí giao dịch và phần thưởng khối được thanh toán bằng Mã thông báo KAS, tiền điện tử gốc của mạng lưới Kaspa. Kaspa ra mắt vào năm 2021 với mô hình phân phối công bằng, tránh huy động vốn đầu tư mạo hiểm, điều này đã góp phần vào sự phát triển hướng đến cộng đồng của Kaspa. 

Kaspa chủ yếu đóng vai trò là lớp nền tảng cho thanh toán và xử lý 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 khi có đề xuất vProgs, Kaspa thiếu hỗ trợ gốc cho hợp đồng thông minh, mà chỉ dựa vào các tập lệnh đơn giản hơn cho các thao tác cơ bản.

Khám phá những dự án đầy hứa hẹn...

Các dự án đầy hứa hẹn...

(Quảng cáo)

Bài viết còn tiếp tục...

Kaspa vProgs là gì?

vProgs, viết tắt của 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 ngoài chuỗi chính trong khi vẫn đảm bảo kết quả có thể được xác minh trên Lớp 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 có thêm khả năng xác minh bằng chứng không cần kiến ​​thức.

Bằng chứng không kiến ​​thức cho phép người chứng minh (provider) chứng minh tính chính xác của phép tính mà không tiết lộ dữ liệu cơ bản. Trong vProgs, những bằng chứng này được gửi định kỳ đến Lớp 1, xác nhận tính toàn vẹn của các hoạt động ngoài chuỗi. Cách tiếp cận này giúp chuỗi chính gọn nhẹ, tập trung vào xác thực hơn là thực thi, phù hợp với trọng tâm của Kaspa về tốc độ và hiệu quả.

Bản thảo Sách Vàng, phiên bản 0.0.1, mô tả vProg là cho phép các ứng dụng "có chủ quyền nhưng vẫn có thể cấu hình". Chủ quyền nghĩa là mỗi vProg kiểm soát các hoạt động nội bộ của mình một cách độc lập, bao gồm quyền đọc và quyền ghi. Khả năng cấu hình cho phép một vProg đọc dữ liệu từ vProg khác, tạo điều kiện thuận lợi cho các tương tác như giao dịch giữa các ứng dụng, nhưng quyền ghi bị giới hạn ở vProg 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 2025 năm XNUMX trên diễn đàn nghiên cứu của Kaspa, nơi những người đóng góp đã giải quyết những thách thức trong khả năng kết hợp đồng bộ, bao gồm độ trễ bằng chứng và chia sẻ tài nguyên. Bản dự thảo kết hợp phản hồi từ các phiên họp đó, mặc dù nhiều yếu tố vẫn đang được hoàn thiện, bao gồm quy trình tạo tài khoản và cơ chế cắt giảm dữ liệu.

Các tính năng kỹ thuật cốt lõi của vProgs

Một số 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 quả trong môi trường thông lượng cao:

Khâu thử: Khâu bằng chứng kết hợp nhiều bằng chứng không kiến ​​thức từ các vProg được kết nối thành một cam kết duy nhất, sau đó được gửi đến Lớp 1. Điều này hỗ trợ các giao dịch nguyên tử trên nhiều ứng dụng, trong đó kết quả được giải quyết đồng thời mà không có sự chậm trễ trung gian thường thấy trong các hệ thống dựa trên rollup.

Lô bằng chứng có điều kiện: Các lô chứng minh có điều kiện nhóm các giao dịch liên quan để chứng minh tập thể, giúp giảm 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 nhóm hóa giúp giảm số lượng chứng minh riêng lẻ cần thiết.

Tính toán DAG: DAG Tính toán tạo thành một đồ thị phụ thuộc ở 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 thông tin được tham chiếu vẫn khả dụng và thứ tự thực thi được duy trì trong quá trì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í. Về mặt nội bộ, mỗi vProg sử dụng mô hình gas Lớp 2 riêng để tính toán. Trên Lớp 1, ScopeGas đo lường các tương tác chéo giữa các vProg, tính phí dựa trên mức độ phụ thuộc dữ liệu để ngăn chặn thư rác hoặc sử dụng tài nguyên quá mức, chẳng hạn như một ứng dụng làm quá tải yêu cầu đầu vào của ứng dụng khác.

Mô hình kinh tế học: Mô hình kinh tế cho vProgs dựa trên các trình chứng minh không cần cấp phép—các nút tạo và gửi bằng chứng—những người này nhận phí từ người dùng. Tính sống động, hay sự đảm bảo về bằng chứng kịp thời, hoạt động thông qua hai chế độ: lạc quan, nơi các trình chứng minh hợp tác với nhau, 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 dựa 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 tự nhiên xuất hiện từ các bằng chứng 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í mật hoặc oracle. Khung này 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 2025 năm 500, tại Atelier Gardens ở Berlin. Sự kiện kéo dài một ngày này, giới hạn 150 vé, giá 50 đô la cộng thêm XNUMX đô la phí tiệc sau sự kiện, yêu cầu thanh toán bằng token KAS, đánh dấu bước đầu ứng dụng tiền điện tử vào thực tế cho hoạt động hậu cần sự kiện, bao gồm thực phẩm, đồ uống và hàng hóa.

Chương trình nghị sự bao gồm các bài phát biểu quan trọng từ các nhà phát triển cốt lõi, bao gồm Sompolinsky về những tiến bộ trong GHOSTDAG, các hội thảo chuyên đề về 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 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 họp chuyên đề vProgs nào trong lịch trình, nhưng 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à các 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.

Những người tham dự, bao gồm thợ đào, thương nhân và nhà phát triển, sẽ kết nối với nhau trong một bối cảnh nhấn mạnh tinh thần phi tập trung của Kaspa. Hội nghị này là buổi gặp mặt trực tiếp đầu tiên của dự án, được xây dựng trên các diễn đàn trực tuyến và kênh Telegram để cộng tác.

Thách thức và tiến độ thực hiện

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

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

Tiến độ từ các cuộc thảo luận hồi tháng 2025 cho thấy việc triển khai mạng thử nghiệm sẽ diễn ra vào quý XNUMX năm XNUMX, sau khi nhận được phản hồi từ cộng đồng về bản dự thảo. Việc tích hợp toàn bộ mạng chính sẽ phụ thuộc vào việc kiểm tra và đánh giá hiệu suất, trong khi việc tinh giản và cơ chế tài khoản dự kiến ​​sẽ được xem xét trong tương lai.

So với cơ chế rollup của Ethereum, vốn có thể phân mảnh thanh khoản trên nhiều lớp, hoặc cơ chế thực thi trên chuỗi của Solana, vốn kiểm tra 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ở bằng chứng công việc. Điều này bảo tồn tính phi tập trung đồng thời tận dụng việc 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 ngoài chuỗi được xác minh bằng bằng chứng không kiến ​​thức, bao gồm khâu chứng minh để tạo khả năng hợp thành, 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 có khả năng mở rộng trên mạng xác nhận các khối sau mỗi vài giây, hỗ trợ các trường hợp sử dụng từ DeFi đến thanh toán dữ liệu mà không ảnh hưởng đến bảo mật Lớp 1.

Nguồn:

• Bài viết của Kaspa Daily X về vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Bản thảo sách vàng vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Chủ đề Diễn đàn nghiên cứu Kaspa về khả năng kết hợp đồng bộ: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Trải nghiệm Kaspa ở Berlin: https://experience.kaspa.events/