Brevis_ZK

Từ những chia sẻ đầy trí tuệ của CEO trên sân khấu đến gian hàng đông kín Zkat cùng những câu hỏi thú vị🐈‍⬛

Cảm ơn Singapore và BNB Chain vì buổi SG Super Meetup đáng nhớ💛

Seoul✅
Singapore✅

Cuối cùng ZKat cũng được nghỉ ngơi😴

#BNBSG

ZKat đã đến được #BNBSeoul
🐈‍⬛💛

Hoa hồng vàng, bầu bạn thật tuyệt, và rất nhiều gương mặt quen thuộc từ
hệ sinh thái @BNBCHAIN.

Kết thúc bài keynote của CEO tại KBW🎤

Từ việc chứng minh mọi chỉnh sửa trên một bức ảnh, đến một cơ chế chứng minh cho tất cả, rồi đến lời kêu gọi táo bạo:

"Trong 10 năm, 99% hoạt động tính toán cho các ứng dụng blockchain sẽ diễn ra ngoài chuỗi, được xác thực bằng chứng minh ZK."

Cảm ơn Seoul, và tất cả mọi người đã tham gia cùng chúng tôi
🇰🇷

Chúng tôi đã tạo ra một tác nhân AI 🤖 tự tối ưu mã hoàn toàn một mình, và đưa nó vào một trong những mục tiêu hiệu năng khó nhất của chúng tôi: Pico, zkVM của chúng tôi.

AutoEng chạy trọn vòng lặp kỹ thuật tối ưu hiệu năng mà không cần con người can thiệp. Nó phân tích hiệu năng của bộ prover trực tiếp, chọn điểm nghẽn có giá trị cao nhất, viết một phương án tối ưu, và chỉ giữ lại nếu phép đo chứng minh thay đổi đó vừa đúng vừa nhanh hơn. Không ai phê duyệt từng bước.

Kết quả: trên việc chứng minh block Ethereum thực, một hệ thống đã được tinh chỉnh qua nhiều năm công sức của chuyên gia và chạy theo thời gian thực, AutoEng đã tìm thấy mức tăng tốc end-to-end ổn định khoảng ~11%, trong chưa đầy ba ngày vận hành tự động. Để tham chiếu, ở ngưỡng đó, một chuyên gia có thể mất hai đến ba tuần chỉ để đạt được nửa phần trăm.

Điều khiến nó đáng tin là đơn giản: mô hình có thể đề xuất, nhưng nó không bao giờ phán xét. Độ đúng được kiểm tra từng byte một và tốc độ được quyết định bởi các benchmark xác định theo chuẩn, vì vậy nó không thể tự thuyết phục mình ra một kết quả tệ.

Và vòng lặp này không hề chỉ dành riêng cho Pico. Tác nhân đo lường dựa trên cùng nguyên tắc đã cạnh tranh trên các benchmark bên ngoài, thậm chí trong thời gian ngắn đạt #1 ở thử thách mạch lượng tử ecdsa.fail (vượt bài dự thi của Google) và lọt top 20 trên GPU MODE, nhanh hơn khoảng ~2,4 lần so với MAGMA.

Phần lớn các câu chuyện “AI viết code” chỉ dừng ở khâu tạo sinh và để con người kiểm tra kết quả. AutoEng tự động hóa cả việc chấm điểm, và nó giành được mọi mức tăng tốc mà nó tuyên bố. Một cái nhìn nhỏ nhưng có thật về kỹ thuật tối ưu hiệu năng tự động.

Bài viết đầy đủ: https://blog.brevis.network/2026/07/06/autoeng-the-ai-agent-that-autonomously-made-state-of-the-art-code-11-faster/

Thật vinh dự khi đồng tổ chức sự kiện BASE Meetup x Pancake House với @PancakeSwap và @Base hôm qua.

Trong bài phát biểu chính, Michael đã trình bày lý do tại sao kỷ nguyên tiếp theo của các ứng dụng blockchain sẽ được xây dựng trên tính toán xác minh ngoài chuỗi, và chia sẻ cách mà Pico zkVM và ProverNet đã đang cung cấp năng lượng cho các khối lượng công việc trực tiếp trên các sàn DEX, RWAs và hạ tầng bảo mật.

Cảm ơn cả hai đội đã mời chúng tôi.

Sự tham gia đông đảo tại @BNBCHAIN Super Meetup Hồng Kông tối qua
🎇

Giám đốc điều hành của chúng tôi, Michael, đã điều phối một buổi thảo luận sắc nét về RWA x Privacy với @OndoFinance, @StableStock, @UTechStables và CMBI, phân tích những gì thực sự cần thiết để xây dựng lớp hạ tầng cho Web3 tổ chức.

Cảm ơn đội ngũ BNB Chain đã tiếp đón chúng tôi.

Hệ sinh thái của chúng tôi đang mở rộng.

50 giao thức đang triển khai các ứng dụng thực tế trên nền tảng Brevis. Hơn 335 triệu bằng chứng đã được tạo ra. Và chúng tôi chỉ mới bắt đầu.
🚀

Một vài bức ảnh 📸 của CSO Alan chúng tôi trình bày Pico Prism 2.0 tại @eth_proofs CHẾ ĐỘ QUÁI VẬT ở Cannes.

⭐️ Những điểm nổi bật: một kiến trúc công nhân-điều phối viên mới giảm yêu cầu GPU từ 64 xuống 16, mã GPU được viết lại với hỗ trợ RISC-V 64IM mở rộng, và 33% năng lực tải công việc nhiều hơn trong cùng thời gian chứng minh.

Sẽ mã nguồn mở sớm. Nhiều kết quả đến.