مشروعان من مشاريع ZK STARK أحبهما حقا: 1. @0xMiden - فاجأني @bobbinth تماما في أول مكالمتنا ، ومنذ ذلك الحين. كان أول من بنى بمفرده آلة افتراضية كاملة وصديقة ل ZK-STARK (Miden) ونظام إثبات ZK-STARK ، بمجرد قراءة أوراق الرياضيات الخاصة بي. 2. @RiscZero - اتخذ @BruestleJeremy والفريق جميع الخيارات الصحيحة في ذلك الوقت - الحقول الصغيرة (الدب الصغير) ، أولا تهدف إلى دعم اللغة العام (Rust and RiscV) ، نهج قوي حقا للهندسة والسلامة.