zkApe #32

#zeroknowledge teknolojisi hakkında Türkçe bülten zkApe otuz ikinci sayısı çıktı.

Dec 30, 2022

Yılın son bülteninden merhaba.

2022 yüksek tansiyonlu yıl oldu. Türlü skandalların, rezaletlerin boyutu her gün daha da büyüdü ve yenileri sırada bekliyor. Tüm bu curcuna devam ederken kriptografiyle ilgilenen insan sayısı artıyor, zero knowledge teknolojileri hem gizlilik hem de ölçekleme anlamında yaygınlaşıyor. Ancak bir konuyu tekrar hatırlamakta yarar var. Teknoloji herkes için nötrdür. Nasıl ve ne amaçla kullanılacağına insanlar karar verir. Tornado Cash örneğinde olduğu gibi teknolojik araçlar öylece durmaktadır ve bu aracın ne amaçla kullanacağına insanlar karar verir. Alexey nötr bir teknolojik araç geliştirdiği ve katkıda bulunduğu için hala hapiste, geleceği belirsiz.

Devletlerin, kurumların kuklası olmamak için topluluk müştereklerini - ağlarını kurmak ve bu amaca yönelik teknolojiler geliştirmek, hukukun belli bir kesim tarafından hoyratça kullanıldığı durumlarda hepimize anlamlı bir direnç katacaktır. Assange’ın dediği gibi Güçsüzlere Gizlilik, Muktedirlere Şeffaflık.

Kendi kaderimizi çizebileceğimiz bir yıl olması dileğiyle.

🔍Proje Güncellemeleri

Semaphore Boilerplate geldi.
zprize kazananları açıklandı.
Polygon zkEVM son testnet duyurusu yapıldı ve performans verileri paylaşıldı.
Taiko ilk testnet duyurusu paylaşıldı.
zkRollup Intmax ilk testneti duyurdu.
Consensys R&D grubundan yeni çalışmalar:
- Vortex building a prover for the zk-EVM
- GroLup: Plookup for R1CS
Justin Drake’den yeni çalışma: 2FA zk-rollups using SGX
zksync v2 alpha Q2’ye ertelendi.
Geliştirici özel ⚒️
- ZKOS: zkOS - a new cross-proof-system execution layer
- ZK Avalanche: Avalanche üzerinde Rust temelli VM’de çalışan Bulletproof implementasyonu.

👀Dikkat Çeken Tweetler

Brendan @_bfarmer

On zk-rollups, rapid innovation, and optimizing for the right things. tldr: Sometimes being first can be a bad thing. Here’s how we think about the ZK landscape @0xPolygon 1/n

Trail of Bits @trailofbits

This blog post is all about a pair of bugs in some special-purpose ZKP code that allow ne’er-do-wells to trick some popular software into accepting invalid proofs of impossible statements.

blog.trailofbits.comSpecialized Zero-Knowledge Proof failuresBy Opal Wright Zero-knowledge (ZK) proofs are useful cryptographic tools that have seen an explosion of interest in recent years, largely due to their applications to cryptocurrency. The fundamenta…

Daniel Lubarov @dlubarov

In AIR and PLONKish programming, we often find that wide arithmetizations work best. While vanilla PLONK uses 3 witness polynomials, Plonky2 uses 135 by default. We did that for a few reasons.

abdel.stark ✨ 🐺 - 🦇🔊 @dimahledba

And we dit it! 100% EVM opcodes compatibility on @KakarotZkEvm ! github.com/sayajin-labs/k… In 2 months and 20 days... No funding, no company, only a community of passionate builders ❤️ I am so thrilled. Still a long way to go before running into production but this is amazing 🔥

pseudo 📜 @pseudotheos

The term "zkEVM" has become broader over time. There are two major approaches: language compatibility and bytecode compatibility.

pseudotheos.mirror.xyzLanguage Compatibility vs. Bytecode CompatibilityEVM compatibility is a continuum. There are two major approaches: language compatibility and bytecode compatibility.

jagdeep sidhu @realSidhuJag

ZkEVM state of the art is 10m gas per 4minutes, so about 2.5m gas per min or 416k gas per second per zk prover. Optimism bedrock is 15m gas per second or about 36 provers running in parallel (via plonky2 etc), fair to see optimistic has a big heads up on performance for a year+

Santiago Palladino @smpalladino

Just finished my personal goal for December: write a circuit for a zk-proof to an advent of code problem in three different languages. - Circom (from @identhree) - Halo2 (from @zcash) - @NoirLang (from @aztecnetwork)

github.comGitHub - spalladino/zkp-tests: Playing with zero-knowledge proof languagesPlaying with zero-knowledge proof languages. Contribute to spalladino/zkp-tests development by creating an account on GitHub.

high_byte @high_byte

I WANT TO PLAY A LITTLE GAME. it's trivia! guess the term: Rick & Morty OR Zero Knowledge

Kobi Gurkan | ⬡ @kobigurk

pseudo 📜 @pseudotheos

https://t.co/QsdE87etPT

Bobbin Threadbare @bobbinth

In ZKP systems, recursive proof verification is borderline magic: it lets us compress many proofs to the size of one. But it doesn’t come for free. Recursively verifying proofs can get quite expensive. A quick 🧵 on how to make it a bit less expensive in STARK-based systems.

Ariel Gabizon @rel_zeta_tech

1/ Lookups in snarks just got a lot easier! With @LiamEagen and @dariofiore0, we continue the recent sequence of works starting from Caulk, with a new protocol called cq (short for "cached quotients").

eprint.iacr.orgcq: Cached quotients for fast lookups

🎧Video, Podcast ve AMA

📅Yaklaşan Etkinlikler

11 Ocak 22 - Flashbots MEV Roast: Privacy
2-5 Mart 22 - ETHDenver
26-28 Mayıs 22 - ETH Global Istanbul

📚Okuma Önerisi

zkApe’in otuz ikinci sayısı bitti.

Otuz üçü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: zkape.eth
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 zkApe #15 zkApe #16 zkApe #17 zkApe 18
zkApe #19 zkApe #20 zkApe #21 zkApe #22 zkApe #23 zkApe #24 zkApe #25 zkApe #26 zkApe #27 zkApe #28 zkApe #29 zkApe #30 zkApe 31

zkApe