Hari ini kami membawakan Anda Behind the Proof, di mana kami mengeksplorasi bakat luar biasa yang memungkinkan Brevis. Pertama: Alan Li @succinct_li, Chief Science Officer kami. 🧵

Sebelum Brevis, Alan memperoleh gelar PhD dari MIT di bidang Teknik Elektro dan Ilmu Komputer, kemudian mendirikan startup AI for Science yang memajukan tiga pipa obat ke tahap kandidat pengembangan dengan penelitian yang diterbitkan di Nature and Cell. Ini membuktikan kemampuan Alan untuk memasuki wilayah asing, menguasainya dengan cepat, hasil kapal.

Dalam beberapa bulan setelah bergabung dengan Brevis, Alan mengatasi salah satu masalah tersulit zkML. Jaringan saraf secara alami jarang, tetapi sistem yang ada membuktikan setiap operasi secara setara. SpaZK, protokol yang dia kembangkan, menghasilkan bukti hanya untuk apa yang penting, secara dramatis memotong biaya komputasi.

Kemudian datang Pico Prism. Ketika Alan bergabung, canggih adalah 40,9% blok Ethereum terbukti dalam 10,3 detik dengan perangkat keras $256K. Di bawah kepemimpinannya: cakupan 99.6%, rata-rata 6.9 detik, perangkat keras $128K. Semua dalam waktu kurang dari setahun.

Apa selanjutnya? Tim Alan menargetkan kurang dari 16 GPU untuk pembuktian real-time 99% dan seterusnya. Dan dengan beta mainnet ProverNet yang sekarang ditayangkan, kami berharap pekerjaan Alan akan membentuk bagaimana pembuktian ZK dikoordinasikan di seluruh ekosistem.

Inilah artinya memiliki Alan sebagai Chief Science Officer. Ketika Brevis menghadapi masalah sulit, kita tahu kita memiliki seseorang yang akan menemukan jalan keluar. Kami hanya menggaruk permukaan di sini. Baca profil lengkapnya: