Hôm nay chúng tôi mang đến cho bạn chương trình Behind the Proof, nơi chúng tôi khám phá tài năng xuất sắc giúp Brevis trở thành hiện thực. Đầu tiên: Alan Li @succinct_li, Giám đốc Khoa học của chúng tôi. 🧵

Trước khi gia nhập Brevis, Alan đã nhận bằng Tiến sĩ từ MIT trong lĩnh vực Kỹ thuật Điện và Khoa học Máy tính, sau đó thành lập một công ty khởi nghiệp AI cho Khoa học, đã phát triển ba quy trình thuốc đến giai đoạn ứng viên phát triển với các nghiên cứu được công bố trên Nature và Cell. Điều này chứng minh khả năng của Alan trong việc bước vào lãnh thổ chưa quen thuộc, làm chủ nhanh chóng và đạt được kết quả.

Chỉ trong vài tháng sau khi gia nhập Brevis, Alan đã giải quyết một trong những vấn đề khó nhất của zkML. Mạng nơ-ron vốn dĩ là thưa thớt, nhưng các hệ thống hiện có lại chứng minh mọi phép toán một cách đồng đều. SpaZK, giao thức mà anh phát triển, chỉ tạo ra các chứng minh cho những gì quan trọng, giảm đáng kể chi phí tính toán.

Sau đó là Pico Prism. Khi Alan gia nhập, công nghệ tiên tiến nhất là 40.9% số khối Ethereum được chứng minh trong 10.3 giây với phần cứng trị giá 256K đô la. Dưới sự lãnh đạo của ông: 99.6% độ phủ, trung bình 6.9 giây, phần cứng trị giá 128K đô la. Tất cả trong chưa đầy một năm.

Điều gì sẽ xảy ra tiếp theo? Nhóm của Alan đang nhắm đến việc sử dụng ít hơn 16 GPU cho 99% việc chứng minh theo thời gian thực và hơn thế nữa. Và với phiên bản beta mainnet của ProverNet hiện đã hoạt động, chúng tôi kỳ vọng rằng công việc của Alan sẽ định hình cách thức chứng minh ZK được phối hợp trên toàn bộ hệ sinh thái.

Đây là ý nghĩa của việc có Alan làm Giám đốc Khoa học. Khi Brevis đối mặt với những vấn đề khó khăn, chúng tôi biết rằng chúng tôi có một người sẽ tìm ra cách giải quyết. Chúng tôi chỉ mới chạm đến bề mặt ở đây. Đọc hồ sơ đầy đủ: