Ligetron là gì? Ligetron một hệ thống ZKP hiệu suất cao, được thiết kế để cung cấp giải pháp bảo mật và quyền riêng tư dữ liệu, đặc biệt cho các ứng dụng web3 trong Blockchain. Dự án nổi bật với hiệu quả bộ nhớ gấp 1024 lần so với các giải pháp hiện tại, không yêu cầu trusted setup. Hãy cùng Hak Research tìm hiểu về Ligetron trong bài viết này nhé.
Tổng Quan Về Ligero
Ligero là gì?
Ligetron là sản phẩm cốt lõi của Ligero Inc., một công ty khởi nghiệp tập trung vào công nghệ Zero-knowledge Proof (ZKP) để nâng cao bảo mật và quyền riêng tư dữ liệu, đặc biệt trong không gian Web3 và Blockchain.
Ligetron được định vị là một hệ thống ZKP hiệu suất cao, đặc biệt với zkVM (zero-knowledge Virtual Machine) cho phép chứng minh thực thi chương trình mà không tiết lộ thông tin đầu vào. Điều này làm cho dự án phù hợp cho các ứng dụng cần bảo mật cao, như viết hợp đồng thông minh bảo mật, xác minh và mở rộng quy mô Blockchain.
Đặc điểm nổi bật của Ligetron:
- Hiệu quả bộ nhớ: Đạt hiệu quả bộ nhớ gấp 1024 lần so với các giải pháp hiện tại.
- Khả năng chạy trên trình duyệt: Prover và Verifier có thể chạy trực tiếp từ trình duyệt, nhờ hiệu quả không gian, làm cho nó dễ tiếp cận cho nhà phát triển.
- Tốc độ và hiệu suất: Cung cấp tốc độ nhanh gấp 66 lần so với các giải pháp hiện tại.
- Toolchain miễn phí: Công cụ phát triển được cung cấp miễn phí, hỗ trợ tạo ứng dụng Zero-Knowledge nhanh chóng từ trình duyệt.
- Ứng dụng mở rộng: Không chỉ giới hạn ở Blockchain, Ligetron còn được tích hợp vào khung Nim AI để xác minh mô hình AI, mở ra tiềm năng trong lĩnh vực AI bảo mật.
Mô hình và cơ chế hoạt động
Mô hình của Ligetron gồm những thành phần chính sau:
- Nhà phát triển: Những nhà phát triển dự án, thường sử dụng ngôn ngữ biên dịch thành WASM.
- Ligetron zkVM: Máy ảo Zero-knowledge cho WASM, cho phép chứng minh thực thi chương trình.
- Prover: Thành phần tạo bằng chứng ZK, có thể chạy trên trình duyệt.
- Verifier: Thành phần kiểm tra bằng chứng, hỗ trợ cả off-chain và on-chain.
- Smart contracts: Trên blockchain để xác minh bằng chứng và thực thi logic, như trong rollup.
- Zero-Knowledge Proofs: Công nghệ mật mã cho phép xác minh tính xác thực của một phần thông tin mà không tiết lộ chính thông tin đó, đảm bảo quyền riêng tư và bảo mật.
Cơ chế hoạt động của Ligetron gồm những bước sau:
- Bước 1: Các nhà phát triển viết logic ứng dụng bằng ngôn ngữ như C, C++, hoặc Rust, sau đó biên dịch thành WASM.
- Bước 2: Mã được chuyển đổi thành định dạng WASM (WebAssembly), phù hợp với zkVM.
- Bước 3: Toolchain, được cung cấp miễn phí trên website, giúp chuẩn bị mã cho việc tạo bằng chứng ZK, có thể thực hiện trực tiếp trên trình duyệt.
- Bước 4: Prover tạo bằng chứng ZK rằng chương trình được thực thi chính xác, không tiết lộ đầu vào, với yêu cầu bộ nhớ dưới 100 MB cho chương trình WASM 20 MB.
- Bước 5: Verifier kiểm tra bằng chứng, có thể Off-chain (trên máy chủ hoặc trình duyệt) hoặc On-chain qua Smart Contract. Trong trường hợp On-chain, Smart Contract trên Blockchain xác minh bằng chứng và thực hiện hành động như gửi Token hoặc cập nhật trạng thái.
Lộ Trình Phát Triển
Update…
Core Team
Update…
Investor
- 26/02/2025: Ligetron gọi vốn thành công $4M tại vòng Funding được dẫn dắt bởi 1k(x) và Galaxy Ventures cùng với sự tham gia của Franklin Templeton, Nascent, Anagram, Robot Ventures, Digital Currency Group và ZKV.
Tokenomics
Update …
Sàn Giao Dịch
Update …
Kênh Thông Tin Của Dự Án
- Website: https://ligero-inc.com/
- X (Twitter): https://x.com/ligero_inc
Tổng Kết
Ligetron là một dự án đầy hứa hẹn trong lĩnh vực ZKP, với hiệu suất cao và tiềm năng mở rộng sang nhiều lĩnh vực. Dự án không chỉ giới hạn ở Blockchain mà còn mở rộng sang xác minh AI, nơi Ligetron cung cấp giải pháp ZK hiệu quả cho mô hình AI, giảm chi phí và yêu cầu phần cứng.