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

Перед Brevis Алан получил степень доктора философии в MIT по электротехнике и информатике, затем основал стартап AI для науки, который продвинул три лекарственных препарата до стадии кандидата на разработку с исследованиями, опубликованными в Nature и Cell. Это доказало способность Алана входить в незнакомую область, быстро овладевать ею и добиваться результатов.

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

Затем пришел Pico Prism. Когда Алан присоединился, передовые технологии обеспечивали 40.9% блоков Ethereum, подтвержденных за 10.3 секунды с оборудованием за $256K. Под его руководством: 99.6% охвата, среднее время 6.9 секунды, оборудование за $128K. Все это за год.

Что дальше? Команда Алана нацелена на использование менее 16 GPU для 99% доказательства в реальном времени и более. И с запуском бета-версии основной сети ProverNet, мы ожидаем, что работа Алана будет определять, как координируется ZK доказательство по всей экосистеме.

Вот что значит иметь Алана на посту главного научного сотрудника. Когда Brevis сталкивается с трудными задачами, мы знаем, что у нас есть кто-то, кто найдет выход. Мы только начинаем исследовать эту тему. Читать полный профиль: