Cornell Lab'dan Kripto Protokolüne: Dr. Leo Fan, Cysic'in ZK Motorunu İnşa Etmek Üzerine

Sıfır bilgi kanıtlarının blockchain ve gizliliğin sınırlarını hızla yeniden şekillendirdiği bir ortamda, akademik teoriden gerçek dünya protokolüne geçiş zorluklarla doludur. Bu makale, Cornell'deki önde gelen bir laboratuvarın koridorlarından ZK (sıfır bilgi) motorunu Cysic'te birlikte inşa etmeye geçiş yapan akademisyen Dr. Leo Fan'ın hikayesini inceliyor. Bu süreçte, titiz araştırmaların mühendislik hırsıyla nasıl birleştiğini ve karmaşık kriptografik fikirleri canlı bir protokole dönüştürmek için neler gerektiğini ele alıyoruz.

Dr. Fan'ın geçişini, teknik içgörüleri ve geleceğe dair vizyonunu incelerken, okuyucular ZK motorlarının nasıl oluşturulduğuna ve neden sonraki merkeziyetsiz sistemler dalgası için önemli olduklarına dair daha incelikli bir bakış açısı kazanacaklar.

S1. Akademiden (Cornell → Rutgers) büyük bir geçiş yaptınız ve Cysic'i kurdunuz. Sizi araştırma/öğretimden ayrılıp ZK donanımı ve altyapısı etrafında bir şirket kurmaya ikna eden an veya sorun neydi?

Akademide ve sanayi araştırma rollerimde geçirdiğim süre boyunca, sıfır bilgi sistemlerinin temel bir darboğazdan muzdarip olduğu netleşti: matematiksel olarak zariftiler, ancak gerçek dünya benimsemesi için çok yavaş ve verimsizdiler. Algorand'da, ZK sistemlerinin prototiplerin ötesine ölçeklenmek için gerekli donanım ve altyapıya sahip olmadığını bizzat gördüm. O boşluk, herhangi bir tek an yerine, Rutgers'tan ayrılmamı ve 2022'de Cysic'i kurmamı sağlayan bir ikna edici faktör oldu; doğrulanabilir hesaplamayı pratik hale getirmek için özel bir çaba.

S2. Akademik araştırmalarınız ve erken endüstri rolleriniz (Algorand, IBM/Bell Labs, vb.) Cysic için teknik vizyonu nasıl şekillendirdi, özellikle özel donanım (ASIC/CUDA) ile merkezi olmayan bir kanıtlayıcı ağı birleştirme kararı?

Cornell'deki akademik çalışmalarım, ünlü bilgisayar bilimci ve kriptograf Profesör Elaine Shi'nin altında, bana kriptografi ve doğrulanabilir hesaplama konusunda sağlam bir temel sağladı. Algorand ve IBM/Bell Labs'taki endüstri rolleri, beni pratik kısıtlamalarla tanıştırdı: çoğu ZK sistemi hesaplama açısından sınırlıydı ve genel amaçlı donanım, kanıtların gerektirdiği iş yükleri için tasarlanmamıştı. Bu kombinasyon—katı teori artı gerçek dünya darboğazları—Cysic'in özel donanım (ASIC/CUDA hızlandırması ) ile merkeziyetsiz bir kanıtlayıcı ağı birleştirme kararını şekillendirdi. Kanıtları güvenilir bir şekilde hızlı, uygun fiyatlı ve ölçeklenebilir hale getirmenin tek yoluydu.

S3. Cysic, kendisini “silicon to protocol” olarak tanımlıyor. Bize yığın üzerinden geçebilir misiniz, donanım tasarımından kanıt üretimine ve uzlaşmaya kadar, hangi katmanları ölçeklenirken önceliklendirdiğinizi?

“Silicon to protokol” her bir kanıtlama yaşam döngüsü katmanını optimize ettiğimiz anlamına geliyor:

Donanım katmanı: hız ve maliyet için optimize edilmiş ZK iş yükleri için özel olarak tasarlanmış hızlandırıcılar.

Prover katmanı: ComputeFi modelimizi çalıştıran GPU ve ASIC'lerin merkeziyetsiz ağları.

Protokol katmanı: uzlaşma, doğrulama ve kanıt piyasaları ile L2 ekosistemleri ile entegrasyon.

Başlangıç aşamalarında, ölçeklenebilirliğin temeli oldukları için donanım ve doğrulayıcı katmanlarına öncelik verdik. ComputeFi—donanımı zincire koyma mekanizmamız—doğrulanabilir, merkeziyetsiz ölçekli hesaplama sağlama konusunda bir dönüm noktası oldu.

Q4. ZK kanıtları için hızlandırıcı donanım tasarlamak alışılmadık şekilde zor. Üretkenlik, gecikme, maliyet ve kanıt sistemleri genelinde optimize etmeye çalışırken karşılaştığınız en büyük mühendislik sürprizleri veya dengelemeleri nelerdi?

Verimlilik, gecikme, maliyet ve genel geçerliliği aynı anda optimize etmek doğası gereği zordur. En büyük atılımımız, donanım kaynaklarını doğrudan zincir üzerinde haritalamamıza olanak tanıyan ComputeFi'dir. Bu tasarım tercihi, esneklik ve performans arasındaki birçok ticaret anlaşmasını çözmüş ve merkeziyetsiz, doğrulanabilir hesaplama için uzun vadeli vizyonumuzun temelini oluşturmuştur.

S5. Cysic, kendisini bir tür ZK DePIN olarak konumlandırıyor (bilgi işlem kaynakları pazarı). ZK hesaplamayı merkeziyetsiz hale getirmenin ZK rolluplarının ve L2'lerin ekonomisini ve kullanıcı deneyimini nasıl değiştireceğini düşünüyorsunuz?

Bugünün DePIN pazarı, Nvidia gibi büyük GPU üreticilerinden gelen donanıma büyük ölçüde bağımlıdır. Aslında, Nvidia GPU'ları, günümüzde gördüğümüz DePIN altyapısının yaklaşık %80'ini çalıştırmaktadır. Bu, pazarın Nvidia'nın fiyatları, kararları ve yükseltilebilirliği tarafından büyük ölçüde etkilendiği bir tekelcilik durumuna yol açmaktadır. Daha küçük geliştiriciler, günümüzün yüksek GPU maliyetleri nedeniyle olumsuz etkilenmektedir, çünkü daha iyi finanse edilmiş geliştiricilerin yararlandığı ölçek ekonomilerini karşılayamazlar.

Hesaplama gücünü merkeziyetsizleştirmek çözümdür, çünkü kullanıcılar artık pahalı donanım satın alıp sahip olmak zorunda değillerdir; bunun yerine, talep üzerine yüksek performanslı hesaplama gücüne erişebilirler. Bu, daha az finansmana sahip küçük geliştiricilerin pahalı fiziksel donanım satın alıp bakımını yapmaktan kaçınmalarını ve yalnızca ihtiyaç duyduklarında benchmark veya test gibi işlemler için erişim satın almalarını sağlar.

S6. Ürün-pazar uyumu genellikle yön değişiklikleri gerektirir. Cysic'in ürün yol haritası ve pazara giriş stratejisi, en erken prototipten mevcut testnet aşamalarına nasıl değişti ve bu değişiklikleri hangi kullanıcı/ortak geri bildirimleri yönlendirdi?

Haritamız, kasıtlı ve sıralı bir genişlemeyi takip ediyor. Kanıt pazarı, bizim temel katmanımızdır. Buradan, AI doğrulama, çıkarım ve ZK makine öğrenimi aracılığıyla daha geniş bir hesaplama pazarına genişliyoruz. Evrim, hem AI hem de ZK iş yükleri için birleşik bir altyapı talep eden ortaklar ve müşterilerden gelen geri bildirimlerle yönlendirildi. Sonuç olarak, artık bu daha geniş hesaplama görevleri sınıfını destekleyen sunucular ve hizmetler sunuyoruz.

Soru 7. Topluluk ve operatör ekonomileri DePIN'ler için kritik öneme sahiptir. Farklı donanım sağlayıcılarının - hobi amaçlı GPU'lardan ASIC'lere kadar - sürdürülebilir bir şekilde katılabilmesi için teşvikleri, araçları ve katılım süreçlerini nasıl tasarladınız?

Uzun vadeli sürdürülebilirliği sağlamak için mekanizmalar, eğer kanıtlayıcılar veya doğrulayıcılar zamanında yanıt veremezse, tokenlarının (in alınmasını ve başkalarına dağıtılmasını içeren kesinti uygulamasını içerir. Bu, doğrulayıcıların görevlerin başında olmasını sağlar ve uzun gecikmeleri önler.

Madenciler için, zamanla yakılan BTC üzerinde bir bakım ücreti uygulanır. Bu mekanizmalar canlılığı güvence altına alır, kötü performansı caydırır ve donanım spektrumunda uzun vadeli, güvenilir katılımı ödüllendirir.

Q8. Cysic ekosisteminin ölçeklendirilmesi, ortaklıklar, entegrasyonlar, geliştirici araçları veya kuluçka/validator ilişkileri ile ilgili benimseme hızlandıran dersleri paylaşabilir misiniz?

En önemli ders uyum sağlamaktır. Kripto ekosistemi sürekli değişiyor ve katı yol haritaları nadiren piyasa gerçeğiyle temas sürdürüyor. Topluluk oluşturma ve güçlü ekosistem ortaklıkları hayati öneme sahipken, uyum sağlama belirleyici faktör olmuştur—araçları, entegrasyonları ve ortaklıkları hızlı bir şekilde gözden geçirebilmek, geliştiricilerin ve ağların ihtiyaçlarının ortaya çıktığı yerde buluşmamızı sağladı.

Q9. Yönetişim ve token tarafında )bunun hakkında konuşabiliyorsanız$CYS : Merkezsizlik, güvenlik ve uzun vadeli protokol finansmanı dengesini sağlamak için hangi yönetişim modeli ve ekonomik araçların temel olduğunu görüyorsunuz?

Dayandığımız temel ekonomik araçlar, provörler ve doğrulayıcılar için kesintiler, dinamik ödüller ve bakım maliyetlerine bağlı ücret yakma mekanizmalarıdır. Bu, ağ genelinde teşvikleri hizalar, güvenliğin ve canlılığın korunmasını sağlarken protokol için sürdürülebilir bir uzun vadeli finansman döngüsü oluşturur.

Q10. Güvenlik ve güven, ZK altyapısının temelidir. Risk yönetimine, örneğin, donanım hataları, kötü niyetli sağlayıcılar veya tedarik zinciri saldırıları gibi konulara nasıl yaklaşıyorsunuz ve hangi savunma katmanlarını önceliklendiriyorsunuz?

Yöntemimiz katmanlı savunmaya odaklanmaktadır: donanım düzeyinde doğrulama, slashing yoluyla prover düzeyinde doğruluk garantileri ve canlılık ile davranış için protokol düzeyinde kontroller. Merkeziyetsiz prover yedekliliğini, kötü davranış için ekonomik cezalarla birleştirerek, tek nokta arıza risklerini azaltıyor ve kötü niyetli faaliyetlerin ya engellenmesini ya da ekonomik olarak caydırılmasını sağlıyoruz.

Soru 11. Profesörlükten CEO'luğa geçişinizi geriye dönüp değerlendirdiğinizde, hangi yumuşak beceriler veya beklenmedik yönetim zorlukları en zor öğrenilenlerdi ve derin teknoloji girişimi kurmayı düşünen diğer akademisyenlere ne tavsiye edersiniz?

Bir profesör olmak ve bir girişimci olmak tamamen farklı iki roldür. Profesör olarak, iddialarımda kesin, temkinli ve aşırı hazırlıklı olmam gerekiyordu; yayımlanmadan önce her çalışma mükemmelleştirilmeliydi.

Bir başlangıçta neredeyse tam tersidir. Makro vizyona odaklanmayı ve yüksek düzeyde bir perspektiften hareket etmeyi öğrenmek zorundaydım. Mükemmel sonuçlar beklemek yerine, her adımda ilerleme göstermem ve her iyileştirme konusunda kendime güvenmem gerekiyordu. Bu zihniyet, her şey kanıtlanana kadar önceden iddialarda bulunmaktan kaçınmanız gereken akademik eğitimle doğrudan çelişiyor.

Akademiklerin derin teknoloji girişimi düşünürken en önemli tavsiyem, sadece teknolojiye odaklanmamalarıdır. Girişimlerin %99'u sadece teknoloji ile kazanamaz. PR, pazarlama, ortaklıklar ve bir topluluk gereklidir. Bir kurucu olarak, bunların hepsini yönetmeli ve daha büyük resmi görmelisiniz.

S12. Beş yıl sonra, Cysic için başarı teknik olarak, ekosistem için ve daha geniş ZK manzarası için nasıl görünüyor? Şu anda izlediğiniz büyük teknik veya pazar riskleri nelerdir?

Başarı, tüm ZK ve doğrulanabilir hesaplama ekosistemi için ölçeklenebilir, maliyet etkin donanım hızlandırma konusunda tercih edilen çözüm haline gelmek demektir. Uzun vadeli hedefimiz, hem AI hem de kripto alanında yenilik için altyapı omurgası olarak hizmet etmektir. Bugünün büyük riskleri piyasa dalgalanması ve teknolojik değişimin hızlı temposudur; bu da daha geniş bir vizyona doğru inşa ederken uyum sağlama gereğini pekiştirmektedir.