Сьогодні ми представляємо вам Behind the Proof, де досліджуємо винятковий талант, який робить Brevis можливим. Першим: Алан Лі @succinct_li, наш головний науковий співробітник. 🧵

До Brevis Алан здобув ступінь доктора філософії в MIT з електротехніки та комп'ютерних наук, а потім заснував стартап AI for Science, який просунув три процеси ліків до стадії кандидатів у розробку, опублікувавши дослідження в Nature і Cell. Це довело здатність Алана входити в незнайомі території, швидко її опановувати, корабельні результати.

За кілька місяців після приєднання до Brevis Алан взявся за одну з найскладніших проблем zkML. Нейронні мережі природно рідкісні, але існуючі системи однаково довели кожну роботу. SpaZK, протокол, який він розробив, генерує докази лише для того, що має значення, суттєво знижуючи обчислювальні витрати.

Потім з'явився Pico Prism. Коли Алан приєднався, найсучасніші 40,9% блоків Ethereum були доведені за 10,3 секунди на апаратному забезпеченні вартістю $256K. Під його керівництвом: 99,6% покриття, середній показник 6,9 секунди, апаратне забезпечення $128 тисяч. Все це менш ніж за рік.

Що далі? Команда Алана націлюється на менш ніж 16 GPU для 99% перевірки в реальному часі та далі. І з запуском бета-версії ProverNet mainnet ми очікуємо, що робота Алана вплине на те, як демонстрація ZK координується по всій екосистемі.

Ось що означає мати Алана як головного наукового директора. Коли Бревіс береться за складні проблеми, ми знаємо, що маємо когось, хто знайде шлях. Ми лише торкаємося поверхні. Читайте повний профіль: