Harmony, zkDAO ve privacyDAO için 10 milyon ABD Doları taahhüt ederek, özellikle sıfır bilgi kanıtları ve diğer kriptografi ilkelleri için en iyi araştırmayı üretime getiriyor. 100x faydası, sihirli kullanımları veya evrensel yapıları olan ürünlere odaklanmalıyız. Aşağıdaki 6 ürün 2022'ye en hazır olanlardır. Başarı ölçüsü olarak aşağıda ürün başına 2022'ye kadar tahmini kullanıcı sayısını koyduk.
Kısa ve öz – özetler (10 milyon kullanıcı), durum bilgisi olmayan (100K) Özel – karıştırıcılar (1M), doğrulama (10M) Adil – rastgelelik (10M), çarpışma önleme (100K)
Eylül ayında ETH Lizbon 2021 sırasında, 100 DAO için 300 milyon dolarlık ekosistem fonumuzu duyurduk. Bugün 23 DAO'muzun artık Gnosis Safe çoklu imzaları ve Anlık Görüntü oylarıyla finanse edildiğini bildirmekten gurur duyuyoruz. Araştırma DAO'muz halihazırda vali olarak çok sayıda üst düzey profesöre sahiptir ve öğrencilere seyahat ödeneği vermektedir. Cüzdan DAO'muz üç mobil istemci oluşturdu ve birçok güvenlik denetiminden geçti. Aşağıdan yukarıya yaklaşımımız, "Temel Gelir" DAO'dur ve yaratıcılara ve inşaatçılara isteğe bağlı katkılar için küresel olarak saatte 75 ABD dolar öder. Yukarıdan aşağıya yaklaşımımız, uyumlu ve kamu teşvikleriyle binlerce strateji botu tarafından onlarca borsada piyasa yapıcı olan "Organik Likidite" DAO'dur. Harmony bu girişimlere milyonlarca fon ayırdı. Daha da önemlisi, oluşumlarını, yönetimlerini ve kilometre taşlarını halka açık hale getirdik. Burada, kriptografik ilkeller ve gizlilik için zero-knowledge proofs zkDAO'yu başlatıyoruz. İşte burada 100x avantajları ve sihirli kullanım örnekleri devreye giriyor. 2022'de milyonlarca kullanıcıya ulaşma olasılığı en yüksek olan ZK yeniliklerine odaklanıyoruz. En çok Web3'ün yapı taşları olan evrensel ZK yapılarıyla ilgileniyoruz. Özellikle, ana ağda zaten prototipleri olan altı ZK ürünü var. Birincisi, yani, düşük ücretli zkEVM toplamaları, güvenilir Flyclient köprüleri ve durum bilgisi olmayan Etkileşimli Olmayan-PoPoW istemcileri kısa ve öz temsillere aktarmaktır. İkincisi, birden çok zincirde ve Web2'den Web3'e eylemlerde gizliliği korumaktır. (Örneğin, 35 bin kullanıcı ve 6 milyon ABD doları gelirle en iyi kullanım örneği olan Tornado gibi zincirler arası madeni para karıştırıcıları) Ethereum Foundation'ın Semafor Projesi artık anonim kimlik doğrulama ve oylama sağlamaktadır. Son olarak, adalet artık blok zincirinde garanti edilmektedir. Doğrulanabilir Gecikme İşlevleri (VDF), oyunlarda ve piyangolarda rastgelelik için temel bir ilke olacaktır; ikinci dereceden finansman için gizli anlaşma anonim ve açık hibeler için kritik olacaktır.
ZK Light & Stateless Clients (SoK anketi)
⦁Celestia'nın veri istemcisi: konsensüs ve veri için ancak yürütme için modüler mimari, 2D Reed-Solomon silme kodlaması ile örnekleme, Tendermint ve IBC ile birlikte çalışabilir. (github, ikili, teknoloji) ⦁Celo'nun Plumo & Valora: Doğrulayıcı seti değişikliklerinin dönem blok başlıklarını günde bir kez doğrulayın, BLS toplu imzası, yüzlerce çağa sahip kontrol noktaları. (araştırma, denetim, operasyonlar) ⦁Harmony'nin Ufku: Flyclient'in PoW w/ değişken zorluk seviyesinden logaritmik başlık sayısı, güncellenebilir taahhüt olarak Merkle Sıradağları'ndan olasılıksal örneklemesi. (ağ, veri) ⦁Nil'in Mina istemcisi ve Auro: 22KB özyinelemeli SNARK kanıtı (mimari, yol haritası, cüzdan) ⦁Ethereum 1.5 ve 2.0: durumsuz w/ parçalanmış hesaplar ve hızlı senkronizasyon (verkle ağacı, durum sona erme) ⦁Cardano'nun Mithril'i: Etkileşimsiz PoW kanıtı (NiPoPoW) (madenciler, kadife çatal, çoklu imza) ⦁Facebook'un Novi Diem'i: BFT fikir birliği için tam dönem kanıtları. (SoK anketi, varlıkların kanıtı, spesifikasyon)
ZK Güvenilir ve Güvenli Köprüler (SoK araştırması)
⦁Interlay'in Bitcoin köprüsü: çoklu teminat, w/ Polkadot ve Cosmos (SoK, txchain, indirim) ⦁Celo's Optics & Nomad: 1-of-N dolandırıcılık geçirmez, toplu taahhüt, bono kayıpları (evmos, github) ⦁Harmony's Horizon: 200K gaz w/BLS kontrol noktaları, dönemler arasında yanık kanıtı (varlıklar) ⦁Near's Rainbow & Aurora: 6 dakikalık (20 blok) ve 500K gaz (ux, ekosistem, yönetişim) ⦁Nil'in Solana müşterisi: 100KB ve 2M-gaz kanıtları, PLONK ile 5X azaltma (mimari, kütüphaneler) ⦁Celestia'nın kümeler arası: birleştirilebilir w/ güveni en aza indirilmiş senkronizasyon varsayımı (SoK, trilemma)
Diğer ürünler
⦁ https://starkware.co/use-cases (25K users in 2021) ⦁ https://gubsheep.substack.com/p/six-moonshot-zk-applications (100K users in 2023) ⦁ https://medium.com/o1labs/10-snapps-use-cases-on-mina-83e646010e52 (10K in 2021) ⦁ https://zeroknowledge.fm/the-l2-roundup-discovering-new-things-about-ethereum-l2-platforms/ (100K users in 2021)
Birinci Çeyrek için Eylem Öğeleri
⦁ $100K for 20 scholars on our ZKU.one Course “Zero-knowledge Products on Mainnet” ⦁ $100K grants to port Dark Forest (already live on Ethereum and xDai mainnets) ⦁ $250K grants to port Starkware’s NFT SDK (already live for Immutable X marketplace) ⦁ $500k grants to port Matter Lab’s zkSync 2.0 (as Volition with optional data availability) ⦁ $1M grants to port Polygon’s Miden (Distaff-based zkEVM)
Araştırma DAO
Research DAO, bilgisayar biliminin üç alanının kesiştiği noktada yer alır: Kriptografi. Kriptografi, düşmanların varlığında protokollerin tasarımı ve analizi ile ilgilidir. Güçlü bir matematiksel alan, hem imzalar, şifreleme şemaları ve sıfır bilgi ispatları gibi düşük seviyeli ilkellere hem de blok zincirler, fikir birliği algoritmaları ve kimliği doğrulanmış veri yapıları gibi daha yüksek seviyeli protokollere değinir. Alanında öne çıkan akademik konferanslar CRYPTO ve EUROCRYPT'dir… Mahremiyet. Blok zincirler, kriptografide idolleştirilmemiş olsa da çok sevilen bir kavram olan sıfır bilgi kanıtlarının ilk pratik uygulamasıdır. İzlenebilirliği ve bağlanabilirliği ortadan kaldıran özel işlemleri gerçekleştirme yeteneği önemli bir özelliktir. İster katman 1'de ister katman 2'de olsun, tamamen özel akıllı sözleşmeler ve akıllı sözleşme durumuna sahip olma yeteneği, çok daha zor bir durumdur. Sıfır bilgiyle hisse ve imza oluşturulmasını sağlayan yeni blok zinciri merkezli ilkeller bu sistemlerin merkezinde yer alıyor. Blockchain alanındaki iki ana hakemli konferans şu anda Finansal Şifreleme (FC) ve Finansal Teknolojilerdeki ACM Gelişmeleri (AFT)dir. Ayrıca, sahadaki en iyi güvenlik ve kriptografi konferanslarında da işe alım yapıyoruz.
Son Gelişmeler
⦁ https://vitalik.ca/general/2021/11/05/halo.html ⦁ https://zkmesh.substack.com/p/zkmesh-oct-2021-recap ⦁ https://0xparc.notion.site/ZK-Learning-Group-Topics-f53933eecc2f41438c6c2bdd5b42ee2d ⦁ https://www.zkhack.dev/#workshop Mevcut Ölçüler 6,23 milyon dolar ücret, 4,36 milyar dolar varlık, 34,1 bin kullanıcı
ARAŞTIRMALARIMIZ
⦁ Top conferences: IEEE S&P, ACM CSS, USENIX Security ⦁ Related conferences: NDSS, NSDI, SOSP ⦁ Specialized conferences: FC, Scaling Bitcoin, Breaking Bitcoin, Bpase
KARDEŞ PROJELER
https://github.com/weikengchen/merlin
https://github.com/proxima-one/kzg
https://dblp.org/pid/117/9032.htm
https://koopxyz.notion.site/koopxyz/going-all-in-starkware-f250983d562c454384384a5408bddf9c