zkApe

Share this post

zkApe #32

zkape.substack.com

zkApe #32

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

zkApe
Dec 30, 2022
Share

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

Twitter avatar for @_bfarmer
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
First Funny GIF
11:40 PM ∙ Dec 8, 2022
186Likes56Retweets
Twitter avatar for @trailofbits
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…
12:31 PM ∙ Nov 29, 2022
65Likes13Retweets
Twitter avatar for @dlubarov
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.
1:55 AM ∙ Dec 17, 2022
174Likes42Retweets
Twitter avatar for @dimahledba
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 🔥
Image
12:49 PM ∙ Dec 23, 2022
508Likes116Retweets
Twitter avatar for @pseudotheos
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.
8:11 PM ∙ Dec 28, 2022
149Likes38Retweets
Twitter avatar for @realSidhuJag
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+
7:35 AM ∙ Dec 25, 2022
110Likes21Retweets
Twitter avatar for @smpalladino
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.
10:39 PM ∙ Dec 22, 2022
286Likes42Retweets
Twitter avatar for @high_byte
high_byte @high_byte
I WANT TO PLAY A LITTLE GAME. it's trivia! guess the term: Rick & Morty OR Zero Knowledge
Image
3:57 PM ∙ Dec 20, 2022
151Likes37Retweets
Twitter avatar for @kobigurk
Kobi Gurkan | ⬡ @kobigurk
Image
Twitter avatar for @pseudotheos
pseudo 📜 @pseudotheos
https://t.co/QsdE87etPT
6:28 PM ∙ Dec 5, 2022
25Likes3Retweets
Twitter avatar for @bobbinth
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.
5:05 AM ∙ Dec 30, 2022
105Likes23Retweets
Twitter avatar for @rel_zeta_tech
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
9:36 PM ∙ Dec 27, 2022
68Likes13Retweets

🎧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

  • Understanding Zero-Knowledge Proofs in 15 Mins through SNARK and STARK

  • zk-SNARK Aggregation

  • Aleo: Can You Keep a Secret?

  • ACM Conference on Computer and Communications Security 2022: Field Notes

  • Hardware-friendliness of HyperPlonk


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

Share
Comments
Top
New
Community

No posts

Ready for more?

© 2023 zkApe
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing