zkApe #15

#zeroknowledge teknolojisi hakkında Türkçe bülten zkApe on beşinci sayısı çıktı.

On beşinci bültende proje güncellemeleri, zk ekosistemi için oluşturulan fonlar, başlatılan programlar, videolar ve ilginç tweetler yer alıyor.

Küçük bir hatırlatma; Gitcoin Grand Round 13 devam ediyor. Sayfamızı ziyaret ederek destek verebilirsiniz. Ayrıca zkTech kategorisindeki tüm projeleri inceleyebilirsiniz.

🔍Proje Güncellemeleri

• Vitalik Buterin’den iki tane benzersiz paylaşım geldi. Trusted setup’ların nasıl çalıştığını anlattığı yazı ve FFT gerektirmeden O(n) zamanda polinom evaluation yapmaya yarayan barycentric formül için tutorial yayımladı.

• zkSync 2.0 portalı güncellendi. Faucet kurudu diyenler için haberler olumlu.

• Geçtiğimiz hafta 1.800’den fazla kontrat zkSync’de yayımlandı.

• Sin7y yayımladığı 20. tutorialda Zcash'in Halo2 kütüphanesi kullanılarak nasıl zk devreleri yazıldığını özetedi.

• ZigZag zkSync<>Polygon köprüsünü açtı.

• Rust ile SNARK çalıştırmak mı? Gakonst olmasa halimiz yaman.

• Warp 2.o public olarak yayımlandı.

• StarkNet Alpha 0.8.0 yayımlandı. wen optimizooooor ser?

• Modular StarkNet contracts yayımlandı. StarkNet storage model için oldukça önemli.

• Espresso zk evrenine gözlerini açtı. Layer 1’de PoS ve zkRollup’ları birleştirerek düşük işlem ücreti ve yüksek verimli blockchain olmayı hedefliyor.

• Mina, zk akıllı sözleşmeleri olan Snapps’lerin adını zkDapps olarak değiştirdi. SDK çok yakında geliyor.

• ETH University Project Fund programı açıklandı. Ethereum Foundation and 0xPARC desteği ile yürütülen program dört ay sürürüyor ve proje başına aylık $1K ödeniyor.

• Aleo, ZPrice programını başlattı. Ödül $2M. Anlaşılan süper hızlı implement edilmiş kriptografi algoritmaları için ödüller dağıtılacak.

• Polkadot Pioneers Prize ve Incentive Prize Program duyurdu. Programın tüm detaylarına buradan ulaşabilirsiniz.

• zk Rollup’lar Bitcoin’e ölçeklendirme ve gizlilik konusunda yardımcı olabilir mi? Human Right Foundation ve StarkWare sponsorluğunda araştırma burs programı başlatıldı. Ödül 1 BTC.

• StarkNet ekosisteminin geliştirilmesi ve yaygınlaştırılması için gönüllülerden oluşan topluluk StarkNet Türkiye faaliyetlerine başladı.

👀Dikkat Çeken Tweetler

David Wong @cryptodavidw

lots of zero-knowledge systems use prover keys and verifier keys when these are not keys but some (pre-computed) data you need to create or verify proofs. What would be a good user-friendly name for these?

Ye Zhang 📜 @yezhang1998

1/6 zkEVM is an "extreme" example with the highest encapsulated complexity but the simplest interface.

vitalik.eth @VitalikButerin

Encapsulated vs systemic complexity in protocol design https://t.co/iWrZbDllXg

@oskarth @oskarth

With the help of a few people, Circom 2.0 support now works well enough in ark-circom to verify Circom proofs of non-trivial circuits such as Tornado Cash and RLN in Rust! Example:

Georgios Konstantopoulos @gakonst

.@identhree Circom's WASM API recently had breaking changes with the transition to Circom 2.0. This means that our bindings to the WASM Witness Generator in ark-circom (Rust bindings to Circom w/ @arkworks_rs) broke. Anyone wanna help @oskarth fix it? https://t.co/sywCnLEki1

github.comzerokit/rln at master · vacp2p/zerokitA set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments. - zerokit/rln at master · vacp2p/zerokit

jonwu.eth @jonwu_

Privacy coins are absolutely pumping. I'm clearly very biased but I'm long privacy networks like @aztecnetwork over privacy coins like $XHR and $ZEC and mixers like @TornadoCash. For those new to the concept, here are the trade-offs and my thesis on Aztec:

obront.eth @zachobront

SNARKS FOR NON-CRYPTOGRAPHERS ZK tech is looking like the holy grail for Ethereum scalability and privacy. But how does it actually work? What kinds of things are provable? And if it’s working, what’s the barrier to full zkEVMs? I spent the past few weeks diving in… (1/n)

foobar @0xfoobar

🧵On Privacy 🧵 You may have heard of TornadoCash, Monero, Zcash, Decred, or SecretNetwork. Sounds complex, fringe, and unnecessary. Are they truly private, do we even need privacy anyway?

Thomas Haines @thomas_e_haines

It's taken two years, on and off, but today I finished a proof in Coq of the Bayer-Groth proof of shuffle; this proof of shuffle is used in e-voting systems around the world. Now I need to check if the verified verifier will work on the data produced by real e-voting systems.

David Wong @cryptodavidw

If you're trying to get into zero-knowledge proof systems (like Plonk) and are trying to contribute to open source, there's a number of tasks sitting in github.com/o1-labs/proof-… and I'd be happy to help you start with one o.o

github.comIssues · o1-labs/proof-systemsThe proof systems used by Mina. Contribute to o1-labs/proof-systems development by creating an account on GitHub.

🎧Video, Podcast ve AMA

📅Yaklaşan Etkinlikler

• ETHDubai - 29-31 Mart 2022

• DEFCON - 19 Nisan 2022

• ETHAmsterdam - 22-24 Nisan 2022

• Devconnect - 21-24 Nisan 2022

• StarkNet Hackathon - 24-25 Nisan 2022

• spaghettETH - 3-8 Mayıs 2022

• ETHPrague - 10-11 Haziran 2022

---

zkApe’in on beşinci sayısı bitti.

On altıncı bültende görüşmek üzere. Abone olmayı unutmayın. Yorum ve görüşlerinizi paylaşmaktan çekinmeyin. Bülteni paylaşın ve Twitter’da takip edin.

Destek olmak isteyenler için adreslerimiz;

Gitcoin: https://gitcoin.co/grants/3372/zkape
ETH: 0xa053473DDa59994682F8e96990ffc36aa982782b
ZEC: t1Pd2EWTzWaAyftfGUKC9zD9m6QEQwvjNa4

Daha önceki yayınlar

zkApe #1 zkApe #2 zkApe #3 zkApe #4 zkApe #5 zkApe #6
zkApe #7 zkApe #8 zkApe #9 zkApe #10 zkApe #11 zkApe #12
zkApe #13 zkApe #14