Hai dự án ZK STARK mà tôi thực sự yêu thích: 1. @0xMiden -- @bobbinth đã hoàn toàn khiến tôi bất ngờ trong cuộc gọi đầu tiên của chúng tôi, và từ đó đến nay. Anh ấy là người đầu tiên tự xây dựng một máy ảo thân thiện với ZK-STARK (Miden) và hệ thống chứng minh ZK-STARK, chỉ bằng cách đọc các tài liệu toán học của tôi. 2. @RiscZero -- @BruestleJeremy và đội ngũ đã đưa ra tất cả những lựa chọn đúng đắn vào thời điểm đó -- các trường nhỏ (gấu con), người đầu tiên nhắm đến hỗ trợ ngôn ngữ tổng quát (Rust và RiscV), cách tiếp cận kỹ thuật và độ tin cậy thực sự vững chắc.