Два проекта ZK STARK, которые мне действительно нравятся: 1. @0xMiden -- @bobbinth полностью удивил меня на нашем первом звонке, и с тех пор. Он первым построил полностью совместимую с ZK-STARK виртуальную машину (Miden) и систему доказательства ZK-STARK, просто прочитав мои математические статьи. 2. @RiscZero -- @BruestleJeremy и команда сделали все правильные выборы в то время -- маленькие поля (медвежонок), первыми нацелились на поддержку универсального языка (Rust и RiscV), действительно надежный подход к инженерии и надежности.