zkDAO – Kısa, Öz, Özel, Adil
0️⃣

zkDAO – Kısa, Öz, Özel, Adil

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

zku.ONE

Share your videos with friends, family, and the world

zku.ONE

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.htmlhttps://zkmesh.substack.com/p/zkmesh-oct-2021-recaphttps://0xparc.notion.site/ZK-Learning-Group-Topics-f53933eecc2f41438c6c2bdd5b42ee2dhttps://www.zkhack.dev/#workshop Mevcut Ölçüler 6,23 milyon dolar ücret, 4,36 milyar dolar varlık, 34,1 bin kullanıcı

L2BEAT - The state of the layer two ecosystem

We're organizing Layer Two Amsterdam! Check it out! L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling. We provide a comparison of the various Ethereum L2 systems available today. An important differentiator between L2BEAT and similar sites is that L2BEAT is committed to educating users and lists only projects that match our narrow definition of L2.

L2BEAT - The state of the layer two ecosystem
Dune Analytics

Ethereum Ecosystem analytics by and for the community. Explore and share data from Ethereum Mainnet, Matic, Optimism and xDai for free.

Dune Analytics

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

Road to privacy on Harmony

Road to privacy on Harmony What is privacy? Privacy = confidentiality (hiding payment amounts) + anonymity (hiding the identities of senders and recipients) Why privacy? Anyone can track your financial activity on-chain; swapping, transacting, voting, lending, borrowing, and more May cause mal...

Road to privacy on Harmony
Ethereum 3.0? Scaling Cryptography in Blockchain

Ethereum 3.0? Scaling Cryptography in Blockchain applications exchanges: deversifi, loopring, immutable-x, tornado, starkware stateless: flyclient, zksync, zk² rollup scale: rollups (uniswap, idex, 0x), vm, fraud proofs, reddit points compose: bridges, swaps, wraps, pegs, defi, on-demand liqu...

Ethereum 3.0? Scaling Cryptography in Blockchain
Harmony Consensus - Roadmap (tentative)

Harmony Consensus - Roadmap (tentative) Auction mechanism P0: Designate desirable properties and study whether the current protocol lacks them (these properties are different in a blockchain setting VS a traditional auction mechanism) - January 2022 P0: Devise concrete attack parameters and des...

Harmony Consensus - Roadmap (tentative)
awesome-zk/README.md at main · ventali/awesome-zk

zkSNARKs in a nutshell is a great introductory article for people unfamiliar with zero knowledge proofs. However, it might have skipped too many important, basic concepts for people unfamiliar with this subject, or cryptography in general.

awesome-zk/README.md at main · ventali/awesome-zk
Harmony Research Roadmap

Updates in 2019/07: Harmony aims to bring the best research results to production. We're hiring research engineers. Here're our timeline and topics of research: 2019Q3: consensus (Hotstuff, Ava's leaderless), staking (Ouroboros, Algorand), BEP2/EVM bridge, WASM2019Q4: confidential assets (Eian's Bulletproof, zk-DAI), unison E2E networking (HIPv2,

Harmony Research Roadmap
open.harmony.one

https://github.com/weikengchen/merlin

Privacy and Security in DeFi

Panel discussion on privacy and security in DeFi. Hosted by Stephen Tse, founder of Harmony speaks with Drew Stone from Webb Protocol, Everett Hildenbrandt f...

Privacy and Security in DeFi
Harmony's DayONE 2021 Event: Luke Pearson of Polychain Capital on Privacy and Zero-Knowledge in Web3

Luke Pearson of Polychain Capital discusses privacy and ZK (Zero Knowledge) and why it matters in Web3.Harmony believes that for as far crypto has come it is...

Harmony's DayONE 2021 Event: Luke Pearson of Polychain Capital on Privacy and Zero-Knowledge in Web3
open.harmony.one

https://hicommonwealth.notion.site/Technical-Roadmap-df21af9ec3714813ba37d44b42da4ed7#82bfec72db464e2c9e6e5ebbba87003b

https://github.com/proxima-one/kzg

EF-Supported Teams: Research & Development Roundup

We all have a lot to be thankful for this holiday season, from the first birthday of the beacon chain, to the successful upgrades over the past year and the incredible progress across the entire Ethereum ecosystem. As a highly productive year draws to a close, there are a few final gifts to deliver in the form of updates from many (15+!!)

EF-Supported Teams: Research & Development Roundup
chaosma - Overview

You can't perform that action at this time. You signed in with another tab or window. You signed out in another tab or window. Reload to refresh your session. Reload to refresh your session.

chaosma - Overview
Projects

An implementation of a bribery-resistant voting system built with zero-knowlege proofs on Ethereum, currently used by the clr.fund project to facilitate permissionless quadratic funding for public goods in the Ethereum ecosystem. Phase 1 of a multi-party trusted setup ceremony for zero-knowledge circuits on the BN254 curve.

Projects
Privacy Technologies

Privacy technologies stand to be one of the most important parts of the cryptoasset space. We have complied a list of resources that introduce concepts like confidential transactions, MimbleWimble, ring signatures, and zero knowledge proofs. If there is anything you'd like to add or change, you can tweet your feedback at @messari_crypto or email zack@messari.io.

Privacy Technologies
Privacy Technologies

Privacy technologies stand to be one of the most important parts of the cryptoasset space. We have complied a list of resources that introduce concepts like confidential transactions, MimbleWimble, ring signatures, and zero knowledge proofs. If there is anything you'd like to add or change, you can tweet your feedback at @messari_crypto or email zack@messari.io.

Privacy Technologies
Release announcement: Semaphore, a zero-knowledge gadget for Ethereum

We are excited to announce that Semaphore, a generic privacy layer for Ethereum applications based on zk-SNARKs, has been fully audited and is now available for developers to build upon. This open-source library allows any user to signal their endorsement of an arbitrary string, revealing only that they have been previously approved to do so, and not their specific identity.

Release announcement: Semaphore, a zero-knowledge gadget for Ethereum
Release announcement: Semaphore, a zero-knowledge gadget for Ethereum

We are excited to announce that Semaphore, a generic privacy layer for Ethereum applications based on zk-SNARKs, has been fully audited and is now available for developers to build upon. This open-source library allows any user to signal their endorsement of an arbitrary string, revealing only that they have been previously approved to do so, and not their specific identity.

Release announcement: Semaphore, a zero-knowledge gadget for Ethereum
kohweijie.com
L2 Stablecoin Mirror | zkLink

zkLink supports one-step stablecoin swaps with stablecoins and anchored assets (e.g, BTC, ETH) across different chains and of different kinds on zkLink Layer2 Engine, as efficiently and economically as possible. For example, on zkLink's Layer2 network, users can not only transfer their USDT on Ethereum (ERC-20) to BSC (BEP-20), but also swap their USDT on Ethereum to USDC on BSC.

L2 Stablecoin Mirror | zkLink
Trustless, privacy-preserving blockchain bridges

In this paper, we present a protocol for facilitating trust-less cross-chain cryptocurrency transfers that preserve privacy of bridge withdrawals. We leverage zero-knowledge primitives that are commonly used to design cryptocurrency mixing protocols to provide similar functionality but across two or more blockchains.

Trustless, privacy-preserving blockchain bridges
Privacy on Mir

TLDR: As blockchain usage grows, privacy is becoming increasingly important. However, existing private smart contract designs like ZEXE aren't practical at scale due to state growth. Mir offers a new design for scalable privacy. As more financial infrastructure is built on decentralized protocols, users face an increasing need for privacy.

LisCon 2021 feat. Jordi Baylina of Hermez and Harmony Founder Stephen Tse

The Harmony team attended LisCon in Lisbon, Portugal October 20-21, 2021. We met with many amazing people including Jordi Baylina of Hermez. Jordi and Harm...

LisCon 2021 feat. Jordi Baylina of Hermez and Harmony Founder Stephen Tse
#Circom 2.0 is released! - Iden3 project blog

We're delighted to announce the release of the new version of Circom, the zero-knowledge circuit compiler. Jordi Baylina developed the first version, which he released in 2018. It was one of the first toolkits of zero-knowledge technology, and it has been successfully used in projects like Tornado Cash, Dark Forest, Polygon Hermez, Zkopru, Semaphore, TrustCommunity and many others, including of course iden3.

#Circom 2.0 is released! - Iden3 project blog
如何打造一款吸引公会的链游:Dark Forest 的另一种解读

同时,建议大家去关注分享的回放,主题是游戏性的策划,另外两位分享者,周衍老师和宋阳老师,他们分享的内容都是非常专业的干货,能够为想要投身链游研发的朋友提供直接且有效的帮助。 我是来自 RhizomeDAO 和DAppChaser 的 Erica,同时是一位科幻创作者。接触这个行业比较早,还是刚刚读大学的时候,在全身心投入加密世界之前,我从事的是行业研究相关的工作,四年前开始写区块链相关的科普作品,参与过一些区块链项目的孵化。 小学时,我开始玩网络游戏,是一些网游中公会战的积极玩家。在《天堂Ⅱ》的时代,我参与了个人游戏生涯中第一个公会;后来,担任过《飞飞》某个服务器最大公会的元老,记得那时最爱打的职业是巫师,升学期间,不幸终止于盗号。 兴趣使然,对于链游,我一直保持着比较密切的关注。 印象中,最早的「链游」,应该是2015到2016年,是一款卡牌对战游戏,算是古董级的链游,募集的是BTC,游戏币也不是Token,而是Coin。这个游戏有自己的链,现在已经彻底消失了,行情网站找不到任何信息,它的游戏道具是中心化的设定,和现在很火的 NFT 也没有任何关联。 (补充:这段是临时提到的,今天重新确认,这个游戏似乎已转手,成为了以太坊生态的 NFT 项目,但暂无起色。) 本次分享的主题是关于 Dark Forest 黑暗森林,一款灵感源于《三体》三部曲的去中心化区块链游戏,并由此出发,去谈谈链游如何从游戏机制上吸引公会,实现比较长期主义的良性发展。 Dark Forest 是一款基于零知识证明的去中心化实时战略游戏,是一个非常重数值的游戏。玩家所在的宇宙会一直生成和扩大,地图信息存储在玩家浏览器本地,需要用算力进行探图;如果你没有探索出攻击一方的领地,那么你无法知道到底是谁正在攻击你,敌人实力究竟如何。 目前, Dark Forest 仍处于测试阶段,更像是限时的链上电竞赛事和黑客松。以下是从0.5 到现在的每一轮赛事的规则,我们留到后面的部分具体举例。 下图是我在 v 0.6 第二轮时截的数据,大家可以看到,一旦 Dark Forest 开始新的一轮,整个 XDAI 网络的 GAS 消耗会突然提升,而且占比最大的就是 Dark Forest 的合约交互。 因为 Dark Forest 是开放式的去中心化状态,大部分玩家会使用社区开源和自己制作的插件,链上交互非常高频,排名靠前的玩家每轮游戏可能会消耗上百 XDAI 。 提醒:做链游,选择的链,会直接影响玩家的体验,需要考虑链的性能是否能支持游戏正常运转,链的生态是否能和游戏实现共赢。 想要开始玩 Dark Forest,需要准备邀请码和充足的

如何打造一款吸引公会的链游:Dark Forest 的另一种解读
zCloak Network: a Technical Overview

zCloak Network provides Zero-Knowledge Proof as a Service based on the Polkadot Network. It enables a new computation paradigm called the Cloaking Space, which provides a private and scalable computation environment for Web 3.0. The blockchain, in essence, is a replicated state machine.

zCloak Network: a Technical Overview
github.com
Tornado Cash V2?

What's next for tornado cash development? We seem to have stagnated somewhat in terms of popular proposals to work on, and it's not clear to me what the next stages of development are, if there are any currently. Is the…

Tornado Cash V2?

https://dblp.org/pid/117/9032.htm

Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED

Computer scientist Amit Sahai, PhD, is asked to explain the concept of zero-knowledge proofs to 5 different people; a child, a teen, a college student, a gra...

Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED
kohweijie.com
FC'22 : Program

Financial Cryptography and Data Security is a major international forum for research, advanced development, education, exploration, and debate regarding information assurance, with a specific focus on commercial contexts. The conference covers all aspects of securing transactions and systems. Original works focusing on both fundamental and applied real-world deployments on all aspects surrounding commerce security are solicited.

FC'22 : Program

https://koopxyz.notion.site/koopxyz/going-all-in-starkware-f250983d562c454384384a5408bddf9c

Introducing Plonky2 - Polygon | Blog

Polygon Zero's mission is simple: to use zero-knowledge proofs to scale Ethereum to a billion users, without compromising decentralization or security. Achieving this requires fast and efficient proof systems. Today, we're excited to share Plonky2, a major milestone for zero-knowledge cryptography. Plonky2 is a recursive SNARK that is 100x faster than existing alternatives and natively [...]

Introducing Plonky2 - Polygon | Blog