Tänään esittelemme teille Behind the Proof -ohjelman, jossa tutkimme poikkeuksellista lahjakkuutta, joka tekee Brevisistä mahdollisen. Ensimmäisenä: Alan Li @succinct_li, meidän tiedejohtajamme. 🧵

Ennen Brevisiä Alan suoritti tohtorintutkintonsa MIT:ssä sähkötekniikassa ja tietojenkäsittelytieteessä, ja perusti sitten AI for Science -startupin, joka vei kolme lääkeputkea kehitysehdokasvaiheeseen, ja tutkimuksia on julkaistu Nature- ja Cell-lehdissä. Tämä todisti Alanin kyvyn astua tuntemattomalle alueelle, hallita se nopeasti, laivatulokset.

Muutaman kuukauden kuluttua liittymistään Brevisiin Alan tarttui yhteen zkML:n vaikeimmista ongelmista. Neuroverkot ovat luonnostaan harvinaisia, mutta olemassa olevat järjestelmät todistivat kaikki toiminnot tasapuolisiksi. SpaZK, hänen kehittämänsä protokolla, tuottaa todisteita vain niistä, joilla on merkitystä, vähentäen laskennallisia kustannuksia merkittävästi.

Sitten tuli Pico Prism. Kun Alan liittyi, huipputeknologia oli 40,9 % Ethereum-lohkoista todistettu 10,3 sekunnissa ja 256 000 dollarin laitteistolla. Hänen johdollaan: 99,6 % peitto, 6,9 sekunnin keskiarvo, 128 000 dollarin laitteisto. Kaikki alle vuodessa.

Mitä seuraavaksi? Alanin tiimi tähtää alle 16 näytönohjaimeen 99 % reaaliaikaiseen todistamiseen ja pidemmälle. Ja kun ProverNetin pääverkon beta on nyt käytössä, odotamme Alanin työn muokkaavan sitä, miten ZK-testaus koordinoidaan koko ekosysteemissä.

Tätä tarkoittaa, että Alan on päätiedejohtaja. Kun Brevis tarttuu vaikeisiin ongelmiin, tiedämme, että meillä on joku, joka löytää tien. Olemme vasta pintaraapaisuja. Lue koko profiili: