Bobbin (@bobbinth @0xMiden), nhà phát triển cốt lõi và CEO. Anh ấy thường được biết đến với kinh nghiệm làm việc tại Polygon (@0xPolygon) với dự án Miden. Anh ấy là một nhà phát triển ZooKeeper điển hình tự học, rất thành thạo trong việc học công nghệ ZooKeeper (lý thuyết) thông qua thực hành. Anh ấy đã huy động thành công 25 triệu đô la để xây dựng bộ nhớ đệm L2 dựa trên công nghệ bảo mật. Hãy cùng xem xét con đường sự nghiệp của Bobbin. Hành trình Web3 của Bobbin bắt đầu vào khoảng năm 2018, khi anh không phải là người hành nghề blockchain toàn thời gian mà hoạt động với tư cách là nhà nghiên cứu độc lập và cộng tác viên mã nguồn mở. Sự quan tâm của ông đối với Bằng chứng không tri thức bắt nguồn từ sự say mê của ông với "tính toàn vẹn tính toán", đặc biệt là các hệ thống bằng chứng chung như SNARK và STARK. Bobbin nhớ lại, “Ngay khi tôi biết đến Bằng chứng không tri thức, tôi ngay lập tức nhận ra rằng chúng rất quan trọng đối với blockchain — chúng cho phép bạn xác minh các phép tính mà không cần người khác phải chạy lại toàn bộ quy trình.” Cột mốc đầu tiên của ông là genSTARK (khoảng năm 2018-2019), Prover STARK mã nguồn mở đầu tiên của ông. genSTARK là một công cụ thử nghiệm để tạo và xác thực các bằng chứng STARK, giải quyết một điểm yếu trong cộng đồng ZK lúc bấy giờ: thiếu các triển khai mã mã nguồn mở hiệu quả. Bobbin là một nhà phát triển độc lập, không có bối cảnh các công ty lớn; ông đã xây dựng nó bằng cách tự học ngôn ngữ lập trình Rust. Công trình của ông đã đưa ông trở nên nổi tiếng trong cộng đồng ZK, mang lại cho ông danh tiếng là người tiên phong của " Prover STARK thực tế đầu tiên". Sau đó, ông đã phát triển Distaff VM (đầu năm 2020). Đây là một nguyên mẫu máy ảo dựa trên STARK (lần đầu tiên tôi tìm hiểu về các nguyên tắc triển khai của zkvm thông qua zkvm này), lấy cảm hứng từ kiến ​​trúc RISC-V và được thiết kế để hỗ trợ các bằng chứng ZK cho điện toán đa năng. Distaff là tiền thân của Miden VM. Bobbin đã thực hiện lần lần lặp lại và thử nghiệm người dùng trong quá trình phát triển, thậm chí còn tự mình viết AirScript (một ngôn ngữ hợp ngữ đơn giản) và AirAssembly để đơn giản hóa việc lập trình VM. Cuối năm 2020, Bobbin gia nhập dự án Novi của Meta (Facebook) với tư cách là nhà nghiên cứu ZK cốt lõi. Novi là bộ phận thử nghiệm blockchain và ví kỹ thuật số của Meta, hướng đến việc khám phá các công nghệ bảo mật trong hệ sinh thái Libra (hậu Diem). Đây là "điểm nhấn" của anh ấy—anh ấy đã dẫn dắt sự phát triển của Winterfell, một Prover và xác thực STARK đa năng, hiệu suất cao. Nó hỗ trợ tạo bằng chứng song song và nhanh hơn gấp nhiều lần so với các triển khai STARK trước đó. Trong đội ngũ, Bobbin chịu trách nhiệm thiết kế và tối ưu hóa kiến ​​trúc, xử lý toàn bộ quy trình từ biên dịch mạch đến tổng hợp bằng chứng. Kinh nghiệm này đã mang lại cho anh ấy chuyên môn trong việc triển khai ZK cấp doanh nghiệp. Tiếp theo là trải nghiệm được Polygon tiếp nhận và nhận ra Miden, mà tôi đã chia sẻ trước đó.