Araştırma DAO, blok zinciri araştırmalarına fon sağlayan blok zincirinden bağımsız bir DAO'dur. Açıklık, şeffaflık ve ademi merkeziyetçiliğe yönelik bir vizyonu izleyen Harmony, Research DAO'nun kurucu üyelerinden ve en büyük katkılarından biridir ve araştırma hedeflerini gerçekleştirmesine yardımcı olur. Merkezi Olmayan Otonom Bir Organizasyon olarak, Research DAO bağımsızdır ve kararları kendi misyonuna göre alır. Harmony hazinesi tarafından sağlanan ilk fonlara ek olarak, DAO, topluma fayda sağlayacak araştırma yönergelerini yönlendirmeye yardımcı olmak için kendi üyeleri tarafından da finanse edilmektedir.
Bugün Harmony tüm ekosisteme fayda sağlamak için daha geniş topluluğa açık ve blok zincirinden bağımsız araştırmalara bir katkı olarak Research DAO'ya 1 milyon dolarlık bir hibe sağlıyor.
Research DAO'nun misyonu, blockchain bilimi alanında mükemmel kalitede teorik ve uygulamalı hakemli araştırmaları teşvik etmek ve finanse etmektir. Vizyonumuz, kriptografi, dağıtılmış bilgi işlem, güvenlik, programlama dilleri, ağ oluşturma ve bilgi teorisi alanlarına yayılan, Bilgisayar Biliminde bağımsız ve tanınan bir alan olarak blok zinciri bilimi alanını oluşturmaktır. Amacımız bir bütün olarak alanın en iyilerinden biri olan kâr amacı gütmeyen bir DAO olmaktır. Daha geniş blok zinciri ekosistemi üzerinde olumlu bir etkiye sahip olacak teorik ve uygulamalı araştırmaları sürdürmek için çok sayıda alandan araştırmacıları işe alıyoruz. Harmony, tüm zincirler arasında bir birlikte çalışabilirlik ağı oluşturmakla ilgili olduğundan, daha geniş blok zinciri topluluğunu geliştirmeye yardımcı olan herhangi bir çalışma memnuniyetle karşılanmaktadır.
DAO'nun amaçlarını ilerlettiği başlıca yol, finansman sağlamaktır:
Alandaki araştırmacılar tarafından araştırma makalelerinin geliştirilmesi. Ölçüm yapmak ve ampirik veri toplamak için gerekli deneylerin yapılması. Yaşanabilirliklerini belirlemek için araştırma yönergelerinin kodda uygulanması. Blockchain bilimi alanındaki konferansların organizasyonu ve bunlara katılım. DAO ayrıca, blockchain bilimi araştırmalarındaki en son gelişmeleri takip ederek ve duyurular yaparak ve araştırma önceliklerinin belirlendiği yarışmalar düzenleyerek alanın yönünü yönlendirerek hedeflerini destekler.
DAO'nun karar alma sürecinin merkezinde, temel değerleri yer alır:
Şeffaflık. Finansman kararları, lojistik ve muhasebe verileri açık bir şekilde yayınlanır. DAO'nun sermaye tahsisini ve bağışını herkes açık şekilde görebilmektedir. Finanse edilen tüm makaleler, konferanslar ve projeler kamuya açık bilgilerdir. Açıklık. DAO tarafından finanse edilen araştırmanın yazılım patentlerinden açık olmasını ve Creative Commons lisansı altında yayınlanmasını zorunlu kılıyoruz. DAO ile iş birliği içinde geliştirilen herhangi bir yazılım, açık bir lisans (GPL, MIT, BSD veya Apache) kapsamında lisanslanır. Ayrıca DAO tarafından finanse edilen tüm makalelerin ePrint ve arXiv gibi açık arşivlerde yayınlanmasını da zorunlu tutuyoruz. Bu şekilde, daha geniş ekosistem araştırma sonuçlarımızdan yararlanabilir. Titizlik. Akademik titizliğe uyan araştırmalara değer veriyoruz. Çift-kör bilirkişi değerlendirmesi sürecini takiben, hakemli makalelere ve yüksek akademik hakemlik bütünlüğü standartlarına uyan konferanslara öncelik veriyoruz. Blok zinciri alanındaki iki ana hakemli konferans şu anda Finansal Şifreleme (FC) ve Finansal Teknolojilerde ACM Gelişmeleri (AFT)dir. Ayrıca, alandaki en iyi güvenlik ve kriptografi konferanslarında da işe alım yapıyoruz. Etki. Alanındaki temel ve zor sorunları çözen yüksek kaliteli, etkili makaleler yayınlamayı önemsiyoruz. Araştırmamızın alanın ilerlemesine yardımcı olmasını istiyoruz. Alanın merkezinde bir sorun varsa, daha geniş araştırma topluluğu tarafından tanımlanmışsa ve çözülmemişse, onu ele almak istiyoruz. Özellikle birden fazla farklı blok zinciri sistemini ve genel olarak alanı etkileyen problemlerle ilgileniyoruz. Eşitlik. Cypherpunk topluluğunun ilkelerini takip eden araştırmaları finanse ediyoruz. Sıradan insanların gücünü ve refahını artıran, aramızda daha az varlıklı olanları destekleyen, onların mahremiyetine saygı duyan, bilgi ve içeriğin paylaşımını ve özgürlüğünü sağlayan ve kuruluşların ve hükümetlerin hesap verebilirliğini artıran araştırmalar yapıyoruz. 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. Güvenlik. Güvenlik, sistemlerin saldırganlardan korunmasını sağlayan uygulamalı alandır. Kriptografiyi alıp gerçek dünya altyapısına dağıtan güvenli sistemler, saldırılara karşı dirençlidir ve sızma testi yoluyla bunu deneysel olarak doğrular. Ayrıca bunu resmi yöntemler kullanarak resmi olarak kontrol ederler ve bunu sertleştirilmiş programlama dilleri, protokoller ve API'ler ile pratikte sağlarlar. Alanında öne çıkan akademik konferanslar ACM CCS, IEEE S&P, USENIX Security ve NDSS'dir. Topluluk etkinlikleri CCC ve DEFCON'dur. Endüstriyel bir konferans Black Hat'tir. Dağıtılmış İşlem. Bazen basitçe “desantralizasyon” olarak anılan toplulukta bu alan, merkezi bir üçüncü tarafa güvenmeden fikir birliğine varmak gibi ortak bir hedefe ulaşmak için birden fazla tarafın koordine ettiği protokoller tasarlamakla ilgilidir. Alanı, tarihi boyunca Bizans Anlaşmasını ve diğer temel uzlaşı algoritmalarını araştırmaktır. Günümüzde blok zincirinin icadı ile yeniden canlanmıştır. Alanında öne çıkan akademik konferanslar ACM PODC ve DISC'dir.
Blok Zinciri Bilimi bu üçü arasında yer alır: Blok zinciri sistemlerini mümkün kılmak için yeni kriptografi geliştiriyoruz. Üst düzey güvenli sistemler oluşturmak için kriptografik temel öğeler oluşturuyoruz ve bunları güvenilir bir üçüncü taraf olmadan ortak bir hedefe ulaşmak için birden fazla tarafın koordine edebileceği şekilde inşa ediyoruz. Doğal olarak, gizlilik (PETS gibi önemli konferanslarla), bilgi teorisi, programlama dilleri, ağlar ve oyun teorisi dahil olmak üzere bilgisayar bilimi ve matematiğin diğer alanları da devreye girmektedir.
Bilgisayar biliminin yeni bir alanı olarak Blockchain Science, birçok ilginç ve temel olağanüstü soruna sahiptir. Bir Araştırma DAO'su olarak aşağıdaki alanları belirledik ve bunlara çözümler arıyor olacağız: Önyükleme. Bu, cüzdanların ağın geri kalanıyla senkronize olduğu hız ve verimlilikle ilgilidir. Son birkaç yılda, süper bloklar, FlyClient ve logaritmik uzay madenciliği kullanan Etkileşimli Olmayan İş Kanıtı (NIPoPoWs) üzerindeki çalışmalar da dahil olmak üzere, hisse ispatı blok zincirlerinde hızlı senkronizasyon konularında önemli ilerlemeler olmuştur. Açık problemler, NIPoPoW'ların değişken zorluk ayarındaki güvenliğiyle ve aynı zamanda Proof of Stake (PoPoS) geliştirmesiyle ilgilidir. Pek çok pratik uygulamanın yanı sıra önemli teorik derinliği olan bir konu, bu sorunun üstesinden gelmek, bir mobil istemciyi senkronize etmenin ne kadar sürdüğü konusunda üstel iyileştirmeler sağlayabilir. Aynı zamanda, performansa zarar vermeden merkezi olarak güvenilen sunucuların kaldırılmasını sağlar. Uygun "süper hafif istemciler" geliştirmek, güvenilir federasyonlara ve aşırı teminatlandırmaya ihtiyaç duymadan, güvenilir zincirler arası köprüler oluşturmaya da olanak tanır. Birlikte çalışabilirlik. Zincirlerin, madeni paraların ve protokollerin sayısı artmaya ve büyümeye devam ediyor. Bunların birbirleriyle iyi uyum sağlaması, topluluğun merkezi bir sorunu haline geldi. Hepsine hükmedecek tek bir madeni para olmayacağı, her biri kendi benzersiz özelliklerini sunan, birlikte çalışan birden fazla madeni para olacağı netleşti. Farklı protokollerin birbirleriyle konuşabildiği, güvenli ve performanslı bir şekilde etkileşime girebildiği bir iş birliği ekosistemi geliştirmek hem bilimsel hem de mühendislik açısından bir zorluktur. Ana zincirler arasında hem iş kanıtı hem de hisse kanıtı zincirleri arasında iletişim yapılmalıdır. Zincirler arası istemciler oluşturmak için önyükleme tekniklerini kullanmak, verileri Katman 1'den Katman 2'ye hızlı ve güvenli bir şekilde taşımak ve gerçek dünya ile zincir dünya arasında oracle'ları kullanarak iletişim kurmak, bu konuya giren temel sorunlardır. Zincir üzerinde ölçeklendirme. Ana zincir, yerleşim katmanı olarak işlev görür ve tüm taraflar kesinlik için ona başvurmaktadır. Bu katmanı ölçeklendirmek, bilimimizin şu anki ana zorluğu haline gelmiştir. Ölçeklendirmenin gerçekleştirilebileceği birkaç yol vardır. Parçalama ile bir blok zinciri, her biri kendi doğrulayıcılarına sahip birden çok alt sisteme bölünür. Doğrulayıcıların, uyarlanabilir bir düşmana karşı bile güvenli bir şekilde tahsis edilmesini sağlamak zordur. Başka bir yol, basit zincirler kavramının ötesine geçen kimliği doğrulanmış veri yapıları geliştirmektir. Birbirine çapraz referans veren paralel zincirlerden DAG tabanlı sistemlere kadar, bu tür topolojik olarak egzotik uzlaşı sistemleri vaatlerle doludur. Zincir dışı ölçekleme. Bir blok zincirinin Katman 1 altyapısını ölçeklendirmek bizi ancak bir yere kadar götürebilir. Küresel bir para ve sözleşme sisteminin istenen ölçeklenebilirliğini elde etmek için çoğu işlemin ana zincirden çıkarılması gerekecektir. Burada birçok aday yaklaşım bulunmaktadır. Yan zincirler ve aralarındaki birlikte çalışabilirlik, yükün bir kısmını kaldırabilecek daha küçük zincirlerin oluşturulmasına izin verecektir. Ödeme ve devlet kanalları, zincir dışındaki daha küçük insan gruplarının işlemlerine izin verebilir, ancak aynı zamanda ödeme ve kanal ağları üzerine inşa edildiğinden küresel olarak daha da gelişim sağlar. Son olarak, zincirden veri ölçeklendirmek için önde gelen adaylar ve ZK türündeki toplamalar geçen yıl iyimser olarak benimsendi. Uzlaşma. Zincir protokollerinin temeli her zaman uygun bir fikir birliği mekanizmasıdır. İş kanıtı ve hisse kanıtı kullanan fikir birliği protokollerimiz var ve birçoğunun güvenli olduğu kanıtlandı. Bu protokoller, güvenliğe zarar vermeden daha iyi performans elde etmek için ilk ilkelerden optimize edilebilir mi? Blok boyutlarının ve blok üretim hızının arttırılması veya en uzun zincir kuralının değiştirilmesi, geçici sahtekâr çoğunluk, bilgi teorisinden kavramların uygulanması gibi sorular bu alanla ilgilidir. Bu alan aynı zamanda karmakarışık anlaşmalar ile günümüzün karmaşık merkezi olmayan mutabakat protokollerine kadar mevcut fikir birliği protokollerinin analizi ve konsolidasyonu ile de ilgilidir. Son olarak, fikir birliği etrafında anlayış ve eğitime yardımcı olacak teorik araçların geliştirilmesi ile de ilişkilidir. Resmi doğrulama. Yeni protokoller geliştirmek, bunların güvenli olmasını sağlamanın yalnızca bir yoludur. Kriptografi cephaneliğindeki matematiksel araçlara ek olarak, bir ispat denetleyicisi kullanılarak her iki matematiksel ispatın da doğru olduğundan emin olmak için resmi doğrulama alanındaki araçlar kullanılabilir, ancak aynı zamanda bu tür protokollerin yazılım uygulamalarının gerçekten doğru olduğundan emin olun. Protokolü amaçlandığı gibi takip edin. Bu tür araçlara katkı sağlayan akıllı sözleşmeler için güvenli programlama dillerinin geliştirilmesi bu kavramlara tabidir. DeFi. Akıllı sözleşme ekosistemi, geleneksel finansın tamamını ve daha fazlasını çoğaltmak için gelişiyor. Merkezi Olmayan Finansman'da (DeFi) zaten mümkün olan birçok kavram yenidir ve daha önce geleneksel finansta hiç ortaya çıkmamıştır. Opsiyonlar ve vadeli işlemler gibi diğer finansal türevler ile sigorta, bordro ve krediler gibi faydalı araçlar da geliştirilmektedir. Bu çok yeni alan, sözleşme kompozisyonundan kehanetlere ve madencilerin çıkarılabilir değerine kadar güvenlik konusunda çok sayıda açık soruyu gündeme getirmektedir. Diğer bir soru, kendi DAO'muzdan başlayarak, tüm bu protokollerin adil yönetimiyle ilgilidir. Son olarak, bu sözleşmelerin ve yeni sürümleri desteklemek için temel blok zincirinin uygun şekilde konuşlandırılması ve yükseltilmesi merkezi bir sorun olmaya devam etmektedir. Ağ oluşturma. Blockchain uzlaşıyı tipik olarak ağı basit bir makine olarak modeller. Ancak şeytan ayrıntıda gizlidir. Merkezi bir güvenilen tarafın katılımıyla ya da katılmayarak düzende adaleti sağlamak gibi yakıcı sorular giderek daha önemli hale gelmektedir. Performans ve güvenlik arasındaki denge, gecikmenin azaltılması ve mevcut bant genişliğinden tam olarak yararlanılması burada merkezi öneme sahiptir. Her yerde olduğu gibi, güçlü bir düşman da ağı bozabilir ve bölünmelere karşı koruma temel bir soru olmaya devam etmektedir. Ancak daha gevşek bir rakip göz önüne alındığında, daha iyi verimlilik mümkün olabilir. Geçici lider partilerin seçilmesi de yardımcı olabilir. Ekonomi. Konsensüs protokolleri dürüst varsayımlar altında çalışabilir, ancak nasıl teşvik edilebilirler? Özellikle, her bir katılımcının mali kazancı, fikir birliği protokolünün özellikleri ve hedefleri ile uyumlu mu? Bu, açık kalan birçok soruyla oyun teorisi alanına değiniyor. Konular havuz oluşumu, katılım haklarının delegasyonu, sybil dayanıklılığı ve kötü niyetli koalisyonlara karşı dayanıklılık ile ilgilidir. Tüm bunların ortasında şeffaf bir makroekonomik politika oluşturma ve yönetme, onu yükseltme ve merkez bankası olmadan para arzını kontrol etme konusu geliyor. Son olarak, eşitlikçilik ve ödüllerin adil dağılımı gibi zor sorular da ortaya çıkıyor. Bunların bazıları başlangıçta hayal ettiğimizden daha felsefi ve etik sonuçlar doğuruyor. Mahremiyet. Blok zincirleri, 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ğlanamazlığı mümkün kılan özel işlemleri gerçekleştirme yeteneği bir yönüdür. İster katman 1'de ister katman 2'de olsun, tamamen özel akıllı sözleşmelere ve akıllı sözleşme durumuna sahip olma yeteneği, çok daha zor bir hedeftir. Sıfır bilgiyle hisse ve imza oluşturulmasını sağlayan yeni blok zinciri merkezli ilkeller bu sistemlerin merkezinde yer alıyor. Kullanılabilir güvenlik. Teknik olarak mükemmel sistemleri kursak bile, nihayetinde kullanıcılarımız insandır. Blok zinciri sistemlerindeki durum endişe vericidir. Gerçek anlamda merkezi olmayan cüzdanların çoğu ve diğer son kullanıcı yazılımları zar zor kullanılabilir durumdadır. Daha da kötüsü, blok zinciri sistemlerinin doğasında bulunan geri döndürülemezliği, küçük hataların kullanıcıların hesapları üzerinde yıkıcı etkilerinin olmasını sağlar. Kullanılabilir güvenlik konusu, blok zincir sistemlerindeki insan/bilgisayar etkileşimi ile ilgilidir ve kullanıcıların her an neler olup bittiğini anlamalarına yardımcı olur. Kullanımı kolay cüzdanlara sahip olmak, kolayca kaybolmayan veya çalınamayan sosyal cüzdanlar, çok faktörlü kimlik doğrulama, makul harcama limitleri ve kolay donanım cüzdanları burada kilit sorulardır. Topluluk. Sistemler ademi merkeziyetçilik göz önünde bulundurularak tasarlanırken, bu genellikle pratikte elde edilemez. Uygun görev dağılımı sağlamak için somut ölçüler önerilmeli ve ilgili ölçümler yapılmalı ve deneyler yapılmalıdır. Staking, madencilik, ağ ve düğüm ademi merkeziyetçiliğine ilişkin kullanım metrikleri, görev dağılımının sağlanıp sağlanmadığını ölçmek için bu tür istatistikleri toplamamıza ve değilse, düzeltmenin yollarını aramamıza olanak tanır. Şeffaflık. Merkezi olmayan finans şekillenirken yeni kurumlar eskilerin yerini alıyor. Blockchain sistemleri ve DAO'lar halk adına halk tarafından yönetilmelidir. Borsalar gibi merkezi kuruluşlar da mahremiyeti korurken sorumlu tutulmalıdır. Bunları sağlamak için, varlıkların, yükümlülüklerin ve ödeme gücünün gizliliğini koruyan kanıtların yanı sıra zincir dışı işlem denetimi geliştirilerek düzenleyici şeffaflık sağlanmalıdır. Bunu güvenli ve özel olarak yapacak araçlar önemli bir araştırma konusudur. Blockchain Bilimindeki bu 13 araştırma alanı, önümüzdeki birkaç yıl için merkezi olacak. Harmony'nin Araştırma DAO'su, tüm bu alanlardaki temel sorunların akademik titizlik ve uygulama gözüyle ele alınması için fon sağlayacak, destekleyecek ve yönü yönlendirecektir. 2022 Planları Harmony'nin DAO Yönergelerinden:
Her DAO'nun yöneticileri, varlıkları ve girişimleri üzerinde özerklik vermiştir. Harmony, 3 geniş görev tanımının belirlenmesine, 9 yöneticinin işe alınmasına, ilk 3 ay için çıktıların ve ölçütlerin tanımlanmasına ve maksimum 1 milyon ABD Doları tutarında fon sağlanmasına yardımcı olur. Her üye için kendi kendine değerlendirilen maaş, 3 aylık seçim koşulları, geriye dönük akran bonusu ve performans geri bildirimi, %80 geçen oylar ve açık izleme zaman çizelgeleri ve çıktıları olarak saatte 75 ila 350 dolar öneriyoruz. 2021 yılının 4. çeyreğinde Dionysis Zindros bu Araştırma DAO'suna liderlik edecek. 9 yönetici atandıktan sonra Harmony, Gnosis Safe'in yöneticiler tarafından tutulan çoklu imza adresine 100.000 $'lık başlangıç finansmanı (2022 yılına kadar toplam 1 milyon $'a ulaşacak) gönderecek. Yetkiler – En İyi (Araştırma) Sonuçlarını Üretime Getirin
Kriptografi: gizlilik ve performans için kısa ve öz kanıtları dağıtın Güvenlik: denetimler için mekanik doğrulamayı, prototip oluşturma için kesinlikle yazılan dilleri kullanın Ademi merkeziyetçilik: işlemleri protokoller arasında ölçeklendirme, zincir üzerinde stake etme ve hafif istemciler arasında delegasyon
Araştırma DAO hakkında daha fazla bilgi https://researchdao.io adresinde bulunabilir.
