Giải mã Pi Squared: Lớp thanh toán chung ZK được dẫn dắt bởi các chuyên gia học thuật danh tiếng, huy động 12 triệu USD
Tuyển chọn TechFlowTuyển chọn TechFlow
Giải mã Pi Squared: Lớp thanh toán chung ZK được dẫn dắt bởi các chuyên gia học thuật danh tiếng, huy động 12 triệu USD
Bình phương của phái này rốt cuộc là gì?
Chuyên sâu báo cáo Web3Bài viết: TechFlow
Thị trường không giống như thị trường tăng giá, huy động vốn cũng chẳng giống thị trường giảm giá.
Trong những ngày gần đây khi BTC liên tục lao dốc, thị trường sơ cấp lại liên tiếp rò rỉ thông tin về các đợt gọi vốn lớn.
Ngoài con quái vật AI Sentiment vừa gọi được 85 triệu USD (xem thêm: Giá trị mạng lưới 85 triệu? Phân tích dự án AI kêu gọi vốn khổng lồ do đồng sáng lập Polygon dẫn dắt Sentient), một dự án gọi vốn đáng chú ý khác trong tuần này là Pi Squared liên quan đến ZK.
Ngày 2 tháng 7, Pi Squared công bố đã nhận được khoản đầu tư hạt giống trị giá 12 triệu USD do Polychain Capital dẫn đầu, với sự tham gia của các tổ chức như ABCDE, Bloccelerate, Generative Ventures, Robot Ventures và Samsung Next;
Các nhà đầu tư thiên thần bao gồm Justin Drake từ Quỹ Ethereum và Sreeram Kanann, người sáng lập EigenLayer.
Nhìn vào thông tin công khai, tên Pi Squared (bình phương của số Pi) mang đậm chất toán học sâu xa, số Pi vô hạn tuần hoàn rồi thêm một bình phương nữa, tạo nên cảm giác về một nơi ẩn náu công nghệ cứng cỏi và bí ẩn;
Bản thân dự án tập trung xây dựng “mạch ZK phổ quát” và “lớp thanh toán phổ quát”, lại là kiểu cảm giác “tất cả chữ bạn đều biết nhưng đọc xong vẫn chẳng hiểu gì”.
Vẫn là hạ tầng cao siêu, vẫn là ZK tự mang theo định giá cao, cộng thêm hàng loạt VC lớn và nhân vật nổi tiếng làm nhà đầu tư thiên thần...
Mặc dù giương cao ngọn cờ phản đối các dự án hoành tráng không đảm bảo bạn sẽ tránh khỏi thua lỗ, nhưng phớt lờ hoàn toàn các dự án mới có vốn đầy đủ cũng không phải điều khôn ngoan.
Vậy cái "bình phương của Pi" này rốt cuộc là ai?
Bình phương của Pi, do các học giả danh tiếng từ trường đại học hàng đầu dẫn dắt
Bạn vẽ một hình Pi bình phương lên bảng đen, đương nhiên khiến người ta bối rối; nhưng nếu một học giả uyên bác vẽ cùng một thứ, hiệu ứng lại hoàn toàn khác biệt.
Pi Squared thực tế do giáo sư khoa học máy tính tại Đại học Illinois tại Urbana-Champaign, Grigore Rosu, lãnh đạo thành lập, ông cũng là CEO của dự án.
Năm 2014, Grigore Rosu đã là giáo sư chính tại trường này, chuyên nghiên cứu các lĩnh vực xác minh hình thức và xác minh thời gian chạy; nói đơn giản hơn, lĩnh vực trước nghiên cứu việc sử dụng các phương pháp toán học để chứng minh tính đúng đắn của hệ thống phần mềm và phần cứng, đảm bảo chúng hoạt động bình thường trong mọi tình huống, còn lĩnh vực sau là giám sát hành vi hệ thống theo thời gian thực, nâng cao độ ổn định và an toàn cho hệ thống.
Theo Wikipedia, nhiều bài báo liên quan của Giáo sư Grigore Rosu cũng đã giành giải thưởng bài báo hàng đầu từ Hiệp hội Máy tính Hoa Kỳ và Hiệp hội Kỹ thuật Phần mềm Tự động Quốc tế.
Nhưng điều này có liên quan gì đến các dự án tiền mã hóa?
Nếu xem xét phần giới thiệu nghiệp vụ chính của Pi Squared, có thể thấy dự án sử dụng công nghệ bằng chứng kiến thức không (ZK) để xác minh tính đúng đắn trong việc thực thi bất kỳ chương trình nào, không cần phụ thuộc vào ngôn ngữ lập trình (PL) hay máy ảo (VM) cụ thể nào, đồng thời cung cấp một phương pháp xác minh phổ quát và hiệu quả, nhằm đạt được khả năng tương tác liền mạch giữa blockchain, ngôn ngữ và ứng dụng.
Điều này vừa khớp với chuyên môn nghiên cứu về xác minh của Giáo sư Grigore Rosu, cũng là nơi học giả uyên bác phát huy thế mạnh kỹ thuật.
Dự án do học giả uyên bác dẫn dắt, có nền tảng kỹ thuật mạnh mẽ, độ tin cậy tự nhiên cao hơn.
Hơn nữa, CTO của Pi Squared, Tiến sĩ Xiaohong Chen, tốt nghiệp cử nhân tại Đại học Bắc Kinh, sau đó trở thành nghiên cứu sinh tiến sĩ tại Đại học Illinois tại Urbana-Champaign, cũng có nền tảng học thuật vững chắc, đồng thời học cùng trường và hướng nghiên cứu tương tự với Giáo sư Grigore Rosu, rất có thể là mối quan hệ thầy trò hoặc đồng nghiệp.
Một đồng sáng lập khác kiêm COO của dự án, Patrick MacKay, cũng tốt nghiệp từ Đại học Illinois tại Urbana-Champaign, và từng là COO của công ty khởi nghiệp trước đó do Grigore Rosu sáng lập là Runtime Verification, có thể nói là chuyển đổi mượt mà từ vị trí cũ sang vị trí mới; công ty Runtime Verification này cũng bao gồm dịch vụ kiểm toán an toàn cho máy ảo và hợp đồng thông minh trên các chuỗi công khai.
Học giả uyên bác dẫn dắt, đồng nghiệp cũ và đồng hương chuyển đổi mượt mà, một dự án Pi Squared với nền tảng học thuật và ngành nghề dày dặn, cũng không ngạc nhiên khi được các VC ưu ái.
USL, thúc đẩy thanh toán giao dịch hệ thống
Chúng ta có thể xem kỹ hơn "lớp thanh toán phổ quát" mà Pi Squared muốn làm là gì.
Trước hết cần làm rõ rằng, Pi Squared không trực tiếp hướng tới người dùng, mà cung cấp sản phẩm cho các nhà phát triển và các loại hình mã hóa.
Mục tiêu của Pi Squared là tạo ra một Lớp Thanh toán Phổ quát (USL), nhằm đơn giản hóa khả năng tương tác giữa blockchain/ngôn ngữ/ứng dụng, và hoàn toàn loại bỏ nhu cầu đối với các triển khai ngôn ngữ truyền thống, vốn thường dễ xảy ra lỗi (ví dụ như trình biên dịch, trình chuyển đổi hoặc trình thông dịch).
Nếu muốn hiểu đơn giản, bạn có thể coi nó như một bộ dịch siêu cấp, cho phép các blockchain, ngôn ngữ lập trình và ứng dụng khác nhau hoạt động trơn tru với nhau. Các nhà phát triển có thể dễ dàng hơn trong việc tạo ra các ứng dụng liên chuỗi và đa ngôn ngữ.
Hình ảnh minh họa trên trang web chính thức của Pi Squared mô tả rất rõ vai trò của bộ dịch siêu cấp này:
-
Khởi tạo giao dịch: Người dùng (ví dụ như Alice) khởi tạo yêu cầu giao dịch, ví dụ chuyển 1 WETH cho Bob, WETH là token tuân thủ tiêu chuẩn ERC20;
-
Thanh toán phổ quát: Yêu cầu giao dịch được gửi đến một môi trường hỗ trợ mọi máy ảo và mọi ngôn ngữ lập trình, ví dụ như EVM hoặc Python. Đây chính là lớp thanh toán phổ quát — miễn là môi trường này tồn tại quy chuẩn chính thức dành riêng cho ngôn ngữ hoặc VM cụ thể đó, thì việc tính toán có thể được biểu diễn bằng bất kỳ ngôn ngữ hoặc VM nào. Nói trắng ra là không kén chọn máy ảo hay ngôn ngữ lập trình.
-
Tạo bằng chứng: Đối với bước 2, tạo một bằng chứng toán học để chứng minh tính đúng đắn của giao dịch. Bằng chứng toán học này rất chính xác, nhưng có thể rất lớn;
-
Kiểm tra bằng chứng: Sau đó sử dụng trình kiểm tra bằng chứng ZK-ED (kiến thức không - logic so khớp) để xác minh "bằng chứng lớn" ở trên. Trình kiểm tra này kích thước nhỏ và có thể xử lý song song quy mô lớn.
-
Nén ZK: Cuối cùng tạo ra một bằng chứng kiến thức không, dùng để chứng minh tính đúng đắn của giao dịch trước đó. Bằng chứng kiến thức không này có kích thước nhỏ, có thể truyền tải và xác minh một cách hiệu quả.
Do đó, quy trình trên cho thấy cách bắt đầu từ một yêu cầu giao dịch đơn giản, thông qua việc tạo và xác minh bằng chứng toán học, cuối cùng tạo ra một bằng chứng kiến thức không nhỏ hơn để đảm bảo tính đúng đắn và riêng tư của giao dịch.
Toàn bộ quá trình hỗ trợ nhiều ngôn ngữ lập trình và môi trường thực thi, có đặc điểm hiệu quả và không cần tin cậy, phù hợp với kết nối liên chuỗi và các kịch bản ứng dụng khác đòi hỏi mức độ an toàn và bảo vệ riêng tư cao.
Xét về vị trí sinh thái của dự án, Pi Squared nằm ở vị trí trung gian trong stack công nghệ. Phía trên là lớp tính toán và dịch vụ sắp xếp, phía dưới là lớp đồng thuận và khả năng sẵn có dữ liệu.
Có thể coi USL của Pi Squared như một lớp optimistic rollup, giải thích và xác minh tính đúng đắn của các giao dịch tính toán, kết nối lớp tính toán phía trên với lớp đồng thuận phía dưới.
Đồng thời, Pi Squared cũng đề cập đến việc sẽ có mạng lưới riêng, với các nút vận hành giao thức đồng thuận, suy đoán có thể sẽ có hệ thống kinh tế dựa trên đặt cược, từ đó liên quan trực tiếp đến token của dự án.
Tuy nhiên hiện tại tài liệu dự án chưa tiết lộ bất kỳ thông tin nào về token, chỉ có thể nói thiết kế mạng lưới tạo ra không gian hợp lý cho sự tồn tại của token, còn cách vận hành tiếp theo sẽ phải chờ thông tin chi tiết hơn.
Pi Squared hiện vẫn đang trong giai đoạn chứng minh khái niệm. Giáo sư Rosu cho biết dự án sẽ tiến vào mạng thử nghiệm vào cuối năm 2024, hiện tại vẫn đang trong giai đoạn làm nóng và quảng bá, chưa có bất kỳ hoạt động hay nhiệm vụ nào để tham gia.
Chúng tôi sẽ tiếp tục theo dõi sát sao dự án, dù sao đi nữa hãy cứ hô vang không nhận vơ, nhưng luôn có những cơ hội đáng để tham gia.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
深潮TechFlow
