Pico 3.1 telah hadir. Pembuktian Ethereum secara real-time, tetap hanya dengan satu mesin dan 4 GPU, kini dilengkapi:
✅ keamanan yang dapat dibuktikan sebesar 128 bit ✅ bukti final berukuran 300 KB atau kurang ✅ sepenuhnya bersumber terbuka, untuk CPU dan GPU, dengan lisensi MIT dan Apache 2.0
Tingkat keamanan dan ukuran bukti ini sesuai dengan target Ethereum Foundation untuk akhir 2026. Prosesnya juga sedikit lebih cepat: 99% blok berhasil dibuktikan dalam waktu 8,73 detik atau kurang (Pico 3.0: 9,10 detik).
Kenalkan Arca: ubah vibe yang terbuang menjadi penghasilan.
Setiap sesi AI yang kamu buang masih tersimpan di drive-mu. Arca membaca sesi yang sudah disimpan oleh alat AI-mu, kamu memilih sesi mana yang akan diunggah, dan tidak ada yang keluar sebelum kamu mengizinkannya.
Detail sensitif dihapus terlebih dahulu, lalu kamu akan menerima penawaran. Sesi yang disetujui akan dibayar setiap minggu dalam USDC.
Kode, kontrak, riset: semua pekerjaan nyata dihitung.
Dikembangkan oleh Brevis ($BREV ) dengan komputasi yang dapat diverifikasi. Akses awal khusus undangan dibuka hari ini:
Saat kami meluncurkan Pico Prism pada Oktober 2025, membuktikan blok Ethereum secara real time membutuhkan 64 GPU di delapan server.
Dengan Pico 2.0, itu berhasil kami turunkan menjadi 16 GPU di dua mesin.
Hari ini, Pico 3.0 melakukannya pada satu mesin dengan 4 GPU, menggunakan proving core yang benar-benar baru, dengan 100 bit keamanan yang dapat dibuktikan. Itu 16x lebih sedikit GPU dalam setahun, sekaligus tetap membuktikan 99% blok utama Ethereum mainnet dalam waktu kurang dari 10 detik.⭐
Kami sedang mengerjakan target proving real-time dari Ethereum Foundation satu per satu, dan setiap rilis mendorong lebih jauh melewati target yang sudah kami selesaikan.
Pico 3.0: Pembuktian Ethereum Real-Time pada 4 GPU dengan Keamanan yang Dapat Dibuktikan 100-Bit
TL;DR: Pico 3.0 membawa pembuktian Ethereum real-time ke satu mesin saja dengan hanya 4 GPU. Pada 7.200 blok mainnet yang sama yang kami gunakan untuk Pico Prism 2.1, ia membuktikan 99% di antaranya dalam 9,10 detik, dibanding 9,14 detik pada 2.1 yang memakai 16 GPU. Ia berjalan pada inti pembuktian yang sama sekali baru dan mencapai 100 bit keamanan yang dapat dibuktikan selama prosesnya. Empat GPU, Satu Mesin Saat kami meluncurkan Pico Prism pada Oktober 2025, pembuktian Ethereum secara real-time membutuhkan 64 GPU di delapan server. Menjelang Februari, semuanya sudah berjalan dengan 16 GPU di dua mesin—setting yang menjadi dasar bagi Pico Prism 2.0 dan 2.1. Pico 3.0 melakukannya di satu mesin dengan 4 GPU, seperenambelas dari saat kami memulainya.
Kami membangun agen AI 🤖 yang mengoptimalkan kode sepenuhnya secara mandiri, lalu mengarahkannya ke salah satu target performa paling sulit yang kami miliki: Pico, zkVM kami.
AutoEng menjalankan seluruh siklus rekayasa performa tanpa campur tangan manusia. Ia memprofilkan prover yang sedang berjalan, memilih bottleneck bernilai tertinggi, menulis optimasi kandidat, dan hanya menyimpannya jika pengukuran membuktikan perubahan tersebut sekaligus benar dan lebih cepat. Tidak ada satu langkah pun yang disetujui oleh manusia.
Hasilnya: pada pembuktian blok Ethereum yang nyata, sebuah sistem yang sudah disetel selama bertahun-tahun oleh kerja ahli dan berjalan secara real-time, AutoEng menemukan peningkatan kecepatan end-to-end yang konsisten ~11%, dalam waktu kurang dari tiga hari untuk runtime otonom. Sebagai konteks, di batas tersebut, seorang spesialis mungkin perlu dua hingga tiga minggu untuk mencapai setengah persen.
Yang membuatnya dapat dipercaya itu sederhana: model bisa mengusulkan, tetapi tidak pernah menilai. Kebenaran diperiksa byte demi byte dan kecepatan ditentukan oleh benchmark yang deterministik, sehingga ia tidak bisa “meyakinkan dirinya” pada hasil yang buruk.
Dan loop ini tidak pernah spesifik untuk Pico. Agen yang digerakkan oleh pengukuran yang sama telah berkompetisi pada benchmark di luar sana, sempat mencapai #1 pada tantangan quantum-circuit ecdsa.fail (mengungguli entri Google) dan masuk top 20 pada GPU MODE, ~2.4x lebih cepat daripada MAGMA.
Kebanyakan cerita “AI menulis kode” berhenti di tahap generasi dan meninggalkan manusia untuk memeriksa hasilnya. AutoEng mengotomatisasi proses penilaian juga, dan ia memperoleh setiap peningkatan kecepatan yang diklaimnya. Sekilas kecil namun nyata tentang rekayasa performa otonom.
Tautan tulisan lengkap: https://blog.brevis.network/2026/07/06/autoeng-the-ai-agent-that-autonomously-made-state-of-the-art-code-11-faster/
Brevis_ZK
·
--
AutoEng: Agen AI yang Secara Otonom Membuat Kode State-of-the-Art Menjadi 11% Lebih Cepat
TL;DR. AutoEng adalah agen otonom yang mengoptimalkan kode dan hanya menyimpan percepatan yang dapat dibuktikannya. Kami mengarahkannya ke Pico, zkVM kami, di seluruh kode GPU dan CPU. Tanpa campur tangan manusia, ia menemukan percepatan ujung-ke-ujung sekitar ~11% pada pembuktian blok Ethereum yang sebenarnya, pada sistem yang sebelumnya sudah berada pada keadaan-terkini (state-of-the-art), dalam waktu kurang dari tiga hari dari runtime otonom. Cara kerjanya: AutoEng memprofilkan prover yang sedang berjalan untuk menemukan di mana waktu benar-benar terpakai, menargetkan bottleneck dengan nilai tertinggi yang tunggal, dan menghasilkan kandidat optimisasi yang hanya dipertahankannya jika perubahan tersebut terbukti benar dan terbukti lebih cepat.
AutoEng: Agen AI yang Secara Otonom Membuat Kode State-of-the-Art Menjadi 11% Lebih Cepat
TL;DR. AutoEng adalah agen otonom yang mengoptimalkan kode dan hanya menyimpan percepatan yang dapat dibuktikannya. Kami mengarahkannya ke Pico, zkVM kami, di seluruh kode GPU dan CPU. Tanpa campur tangan manusia, ia menemukan percepatan ujung-ke-ujung sekitar ~11% pada pembuktian blok Ethereum yang sebenarnya, pada sistem yang sebelumnya sudah berada pada keadaan-terkini (state-of-the-art), dalam waktu kurang dari tiga hari dari runtime otonom. Cara kerjanya: AutoEng memprofilkan prover yang sedang berjalan untuk menemukan di mana waktu benar-benar terpakai, menargetkan bottleneck dengan nilai tertinggi yang tunggal, dan menghasilkan kandidat optimisasi yang hanya dipertahankannya jika perubahan tersebut terbukti benar dan terbukti lebih cepat.
TL;DR Brevis Vera kini terbuka untuk siapa saja menggunakan end-to-end di vera.brevis.network. Ambil gambar dengan kamera atau ponsel yang mendukung C2PA, bawa ke Vera, terapkan pengeditan yang diakui secara kriptografis sebagai sah, dan unduh file bukti yang bisa diverifikasi oleh siapa pun di seluruh dunia dalam peramban mereka. Vera memperkenalkan bukti tanpa pengetahuan sebagai primitif baru dalam tumpukan C2PA, dirancang untuk menjaga privasi baik media sumber maupun proses pengeditan di seluruh rantai penguasaan. Dari Demo Konsep ke Alat Kerja
Pico Prism 2.0: Lompatan Efisiensi 5.3x dalam Pembuktian Ethereum Secara Real-Time
TL;DR: Pico Prism 2.0 membuktikan blok Ethereum mainnet dengan rata-rata 6,1 detik pada batas gas saat ini 60M, dengan 99,9% blok selesai dalam slot 12 detik. Setup penuh berjalan di 16 GPU RTX 5090 di dua mesin dengan total biaya perangkat keras sekitar $100K. Diuji melawan Pico Prism 1.0 pada baseline gas 60M yang sama, sistem baru ini memberikan efisiensi pembuktian ~5,3x lebih banyak per blok. Pada bulan Februari, kami memberikan preview transisi Pico Prism ke setup dual-machine 16-GPU, dengan hasil awal pada blok benchmark gas 45M yang sama yang diuji oleh Pico Prism 1.0.
Merupakan suatu kehormatan untuk menjadi tuan rumah bersama BASE Meetup x Pancake House dengan @PancakeSwap dan @Base kemarin.
Dalam pidato kuncinya, Michael menjelaskan mengapa era berikutnya dari aplikasi blockchain akan dibangun di atas komputasi yang dapat diverifikasi di luar rantai, dan berbagi bagaimana Pico zkVM dan ProverNet sudah mendukung beban kerja langsung di DEX, RWA, dan infrastruktur privasi.
Terima kasih kepada kedua tim telah mengundang kami.
Partisipasi besar di @BNBCHAIN Super Meetup Hong Kong semalam 🎇
CEO kami, Michael, memoderatori panel tajam RWA x Privasi dengan @OndoFinance, @StableStock, @UTechStables dan CMBI, membongkar apa yang sebenarnya dibutuhkan untuk membangun lapisan infrastruktur untuk Web3 institusional.
Terima kasih kepada tim BNB Chain telah mengundang kami.
Brevis dan Camp Network: IP Terverifikasi untuk Era AI
TL;DR: Brevis ($BREV ) bermitra dengan Camp Network, blockchain Layer 1 yang fokus pada IP, untuk membawa verifikasi zero-knowledge ke dalam lisensi kekayaan intelektual, distribusi royalti, dan attestasi kepemilikan. Kolaborasi ini mengatasi tiga tantangan inti yang diciptakan AI untuk ekonomi IP: membuktikan kepemilikan tanpa mengungkapkan informasi sensitif, menghitung pembagian royalti yang kompleks dalam skala besar, dan memungkinkan lisensi yang rahasia untuk aset kreatif bernilai tinggi. Camp menyediakan infrastruktur IP, termasuk pendaftaran, lisensi, atribusi remix, dan mekanisme royalti. Brevis menyediakan lapisan kepercayaan ZK untuk keaslian data, komputasi off-chain, dan privasi.
Sekelompok foto 📸 dari CSO kami Alan yang mempersembahkan Pico Prism 2.0 di @eth_proofs BEAST MODE di Cannes.
⭐️Sorotan: arsitektur pekerja-koordinator baru yang mengurangi kebutuhan GPU dari 64 menjadi 16, kode GPU yang ditulis ulang dengan dukungan RISC-V 64IM yang diperluas, dan kapasitas beban kerja 33% lebih banyak dalam waktu pembuktian yang sama.
Segera open source. Hasil lebih banyak akan datang.