Bạn thực sự cần những gì để làm cho Web3 trở nên đáng tin cậy?

Chương trình tuần trước của @HeliosStaking podcast có sự góp mặt của @RosuGrigore về khả năng xác minh, phương pháp chính quy, và xây dựng các hệ thống có thể chứng minh cho tương lai của hạ tầng phi tập trung.

↓ Dưới đây là những điểm nổi bật:

Từ @NASA đến hạ tầng blockchain: @RosuGrigore bắt đầu bằng cách áp dụng phương pháp chính quy vào các hệ thống quan trọng trong nhiệm vụ tại NASA. Ngày nay, những công cụ tương tự đang được áp dụng cho các blockchain đòi hỏi tính chính xác có thể chứng minh được.

Hình thành như thế nào Runtime Verification: @RosuGrigore thành lập @rv_inc nhằm mang phương pháp chính quy vào các hệ thống thực tế. Ban đầu bị từ chối bởi các hội nghị về testing và phương pháp chính quy, thuật ngữ “runtime verification” đã định hình lại cách tiếp cận—kết hợp quan sát trong thời gian chạy với các đảm bảo về tính chính xác. Hiện nay, nó định nghĩa một toàn bộ lĩnh vực đảm bảo hệ thống.

Tại sao semantics lại quan trọng: Nếu không có semantics chính quy, các ngôn ngữ lập trình trở thành mục tiêu di động. Pi Squared sử dụng K Framework và Matching Logic để định nghĩa và lý luận về hành vi của chương trình một cách chính xác về mặt toán học.

Hỗ trợ từ @IOHK_Charles và @VitalikButerin: IOHK đã tài trợ cho công trình ban đầu về việc chính quy hóa các ngôn ngữ trong K. Vitalik đã cấp các khoản trợ cấp để xác minh Casper của Ethereum, Vyper, Uniswap, và hợp đồng gửi ETH2—một số trong những nỗ lực xác minh chính quy đầu tiên trong lĩnh vực này.

Khả năng xác minh mà không cần thứ tự: Pi Squared giới thiệu một lớp thanh toán phi tập trung, nơi các yêu cầu—dù đến từ rollups, AI agents, hay các sàn giao dịch—có thể được xác minh độc lập và song song. Không cần thứ tự toàn cục. Chỉ cần bằng chứng.

“Không có khả năng xác minh, đó không phải là Web3.”

Tính chính xác trở nên di động.
Sự thật trở thành có thể lập trình.