Grigore Roșu là một giáo sư khoa học máy tính tại Đại học Illinois và là một kỹ sư cựu của NASA, nơi ông phát triển K Framework - một "Rosetta Stone" mã nguồn mở cho ngữ nghĩa ngôn ngữ lập trình. Là một người đóng góp từ ngày đầu cho Quỹ Ethereum, ông sau đó đã thành lập Runtime Verification, hiện là công ty xác minh hình thức dẫn đầu trong Web3. Vào năm 2023, ông đã thành lập Pi Squared với tầm nhìn mang đến một triệu nhà phát triển tiếp theo cho Web3 bằng cách tận dụng K Framework cách mạng của mình.
Tại sao bạn nên lắng nghe
Pi Squared giải quyết tình trạng phân mảnh và các hạn chế về niềm tin của hạ tầng blockchain hiện nay bằng cách cho phép tính toán và thanh toán xuyên chuỗi có thể xác minh, để các ứng dụng, đại lý và giao thức có thể tương tác qua các hệ sinh thái mà không cần dựa vào cầu nối, các bên trung gian, hoặc logic không thể chứng minh.
Đó là lớp niềm tin thiếu thốn cho một Web3 mô-đun, tương tác và sẵn sàng cho doanh nghiệp.
Sản phẩm cốt lõi của Pi Squared là Lớp Giải Quyết Xác Minh (VSL)—về cơ bản là một nền tảng phân quyền, có thể lập trình, bao bọc bất kỳ hành động (lưu trữ dữ liệu, giao dịch, tính toán) vào một "yêu cầu" được niêm phong bằng mật mã. Những yêu cầu này được xác minh bởi một mạng lưới toàn cầu các xác thực viên, được giải quyết thông qua giao thức đồng thuận FastSet hiệu suất cao của họ, và trở nên có thể truy cập ngay lập tức trên các chuỗi và môi trường—tất cả đều không cần trung gian hoặc giả định về sự tin cậy. VSL cho phép giải quyết nhanh chóng, có thể chứng minh, giữa các hệ sinh thái—phục vụ cho AI, các blockchain, hoặc bất kỳ hệ thống off-chain nào.
Đã hoạt động trên devnet, Pi Squared trình bày những ứng dụng mạnh mẽ như cầu nối tài sản chuỗi chéo (, chẳng hạn như thông qua Wormhole NTT), phản chiếu trạng thái blockchain và các pipeline AI có thể kiểm toán thông qua Môi trường Thực thi Tin cậy. Hệ thống của họ giảm đáng kể tính toán dư thừa trong các blockchain—một nút tính toán và chứng minh, và mọi người khác xác minh trong mili giây—tăng cường thông lượng, giảm tiêu thụ năng lượng và tối thiểu hóa các lỗ hổng. Hãy nghĩ đến khả năng xác minh ở mọi nơi—từ tính toán từ xa và DeFi đến suy diễn AI—được tăng cường bởi các chứng minh dựa trên ngôn ngữ hình thức.
Pi² đang kết hợp xác minh hình thức, bằng chứng không kiến thức và khả năng tương tác giữa các chuỗi thành một lớp nhanh chóng, có thể kết hợp. Không có lời nói suông, không có lòng tin—chỉ có bằng chứng.
Liên kết hỗ trợ
Stabull Finance
Pi Network
Andy trên Twitter
Brave New Coin trên Twitter
Brave New Coin
Nếu bạn thích chương trình, hãy đăng ký kênh Crypto Conversation và cho chúng tôi đánh giá 5 sao cùng với một nhận xét tích cực trong bất kỳ ứng dụng podcast nào bạn đang sử dụng.
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Pi Squared - Một lớp thanh toán có thể xác minh cho AI và tiền điện tử - Brave New Coin
Grigore Roșu là một giáo sư khoa học máy tính tại Đại học Illinois và là một kỹ sư cựu của NASA, nơi ông phát triển K Framework - một "Rosetta Stone" mã nguồn mở cho ngữ nghĩa ngôn ngữ lập trình. Là một người đóng góp từ ngày đầu cho Quỹ Ethereum, ông sau đó đã thành lập Runtime Verification, hiện là công ty xác minh hình thức dẫn đầu trong Web3. Vào năm 2023, ông đã thành lập Pi Squared với tầm nhìn mang đến một triệu nhà phát triển tiếp theo cho Web3 bằng cách tận dụng K Framework cách mạng của mình.
Tại sao bạn nên lắng nghe
Pi Squared giải quyết tình trạng phân mảnh và các hạn chế về niềm tin của hạ tầng blockchain hiện nay bằng cách cho phép tính toán và thanh toán xuyên chuỗi có thể xác minh, để các ứng dụng, đại lý và giao thức có thể tương tác qua các hệ sinh thái mà không cần dựa vào cầu nối, các bên trung gian, hoặc logic không thể chứng minh.
Đó là lớp niềm tin thiếu thốn cho một Web3 mô-đun, tương tác và sẵn sàng cho doanh nghiệp.
Sản phẩm cốt lõi của Pi Squared là Lớp Giải Quyết Xác Minh (VSL)—về cơ bản là một nền tảng phân quyền, có thể lập trình, bao bọc bất kỳ hành động (lưu trữ dữ liệu, giao dịch, tính toán) vào một "yêu cầu" được niêm phong bằng mật mã. Những yêu cầu này được xác minh bởi một mạng lưới toàn cầu các xác thực viên, được giải quyết thông qua giao thức đồng thuận FastSet hiệu suất cao của họ, và trở nên có thể truy cập ngay lập tức trên các chuỗi và môi trường—tất cả đều không cần trung gian hoặc giả định về sự tin cậy. VSL cho phép giải quyết nhanh chóng, có thể chứng minh, giữa các hệ sinh thái—phục vụ cho AI, các blockchain, hoặc bất kỳ hệ thống off-chain nào.
Đã hoạt động trên devnet, Pi Squared trình bày những ứng dụng mạnh mẽ như cầu nối tài sản chuỗi chéo (, chẳng hạn như thông qua Wormhole NTT), phản chiếu trạng thái blockchain và các pipeline AI có thể kiểm toán thông qua Môi trường Thực thi Tin cậy. Hệ thống của họ giảm đáng kể tính toán dư thừa trong các blockchain—một nút tính toán và chứng minh, và mọi người khác xác minh trong mili giây—tăng cường thông lượng, giảm tiêu thụ năng lượng và tối thiểu hóa các lỗ hổng. Hãy nghĩ đến khả năng xác minh ở mọi nơi—từ tính toán từ xa và DeFi đến suy diễn AI—được tăng cường bởi các chứng minh dựa trên ngôn ngữ hình thức.
Pi² đang kết hợp xác minh hình thức, bằng chứng không kiến thức và khả năng tương tác giữa các chuỗi thành một lớp nhanh chóng, có thể kết hợp. Không có lời nói suông, không có lòng tin—chỉ có bằng chứng.
Liên kết hỗ trợ
Stabull Finance
Pi Network
Andy trên Twitter
Brave New Coin trên Twitter
Brave New Coin
Nếu bạn thích chương trình, hãy đăng ký kênh Crypto Conversation và cho chúng tôi đánh giá 5 sao cùng với một nhận xét tích cực trong bất kỳ ứng dụng podcast nào bạn đang sử dụng.