Dua proyek ZK STARK yang sangat saya sukai: 1. @0xMiden -- @bobbinth benar-benar mengejutkan saya pada panggilan pertama kami, dan sejak saat itu. Dia adalah orang pertama yang membangun sendiri mesin virtual ramah ZK-STARK (Miden) dan sistem bukti ZK-STARK, hanya dengan membaca makalah matematika saya. 2. @RiscZero -- @BruestleJeremy dan tim membuat semua pilihan yang tepat pada saat itu -- ladang kecil (bayi beruang), pertama untuk membidik dukungan bahasa generik (Rust dan RiscV), pendekatan yang sangat solid untuk rekayasa dan kesehatan.