Deux projets ZK STARK que j'adore vraiment : 1. @0xMiden -- @bobbinth m'a complètement surpris lors de notre tout premier appel, et depuis. Il a été le premier à construire de manière autonome une machine virtuelle entièrement compatible ZK-STARK (Miden) et un système de preuve ZK-STARK, simplement en lisant mes articles mathématiques. 2. @RiscZero -- @BruestleJeremy et l'équipe ont fait tous les bons choix à l'époque -- petits champs (ours bébé), premiers à viser un support de langage générique (Rust et RiscV), approche vraiment solide en ingénierie et en rigueur.