BIG | ZPrize.io: #ZKProof Competition

#FutureTechnology Jobs: Blockchain | Crypto | AI | Robotics | AR | VR | Web3 | Metaverse | #Followback
-
ZPrize Competition | $7 Million Prizes | #ZKProofs

[Dusk @DuskFoundation]

Recently we were notified by @trailofbits about a critical vulnerability in our implementation of PLONK, the proving system Dusk Network uses to create zk-proofs.

Read all about it here:

https://t.co/OEwQbO6OYs

[Luke Pearson @lukejdpearson]

If you’re in NYC on Saturday come along to the hackathon where we’ll be deconstructing, designing and coding ZKP’s. Stoked to showcase how blockchains are made scalable and private with the ZK-garage gang @joshbfitzgerald, @julesdesmit, @shumochu, @CPerezz19, Todd & David

[Dean 利迪恩 (⚛️,🐱) | sbpf/acc @deanmlittle]

If you have been paying attention, you have:

- Learned rust
- Migrated from JS to WASM
- Figured out XOR/hash-based consensus
- Understood the concept of parallel execution with zkp/state hash/signature matching

Now go do something with it. This is how you win.

[Nalin @nibnalin]

Fun fact: Zero-Knowledge SNARKs (Succinct Non-Interactive Argument of Knowledge) are named snarks after an imaginary animal from a Lewis Carroll poem, "The Hunting of the Snark"

https://t.co/wKQBium7Lf

[Daedalus @daedalus_angels]

Now joined by @davidsrz from @0xPolygonHermez to talk STARKs & SNARKs, zk-rollups and the zero-knowledge ecosystem on @0xPolygon

[Shiv @shivsakhuja]

Zero-knowledge rollups use validity proofs to prove the data is correct.

Proofs can be SNARKs or STARKs (won't go into details - but feel free to look them up).

Since Zk-rollups use validity proofs, the time to finality is much quicker, and no long wait time for withdrawals.

[Laura @DiMoneymindset]

Want to learn some technical background about zero-knowledge -SNARKs?

This thread is very well written, love the untechnical examples which make it easy to understand!

Very much recommended 👏👇

[Cristian Chifoi @ChifoiCristian]

Primul satelit crypto a fost lansat pe orbită de Cryptosat, prin SpaceX (Falcon 9), ca să înceapa dezvoltarea unei rețele cryptografice în spațiu.

Get this: vor testa SNARKs (zero knowledge proof - am mai vb de asta) și mai multe detalii aici⬇️ crazy..

https://t.co/Czx8EWA52K

[Mikerah @badcryptobitch]

Tradeoffs in ZKPs (Specifically ZK-SNARKs) in order of importance:
- Verification time
- Proof generation resources
- Proof generation time
- Proof size

[Dr Martin Hiesboeck @MHiesboeck]

@GagolAdam of @Aleph__Zero at #blocksplit during his talk about the privacy limitations of #DeFi systems based on ZK-SNARKs.
#LFG $AZERO

[Devansh (⚡, 🥷) @0xAsm0d3us]

GM Y'all!

An Exploration of Zero-Knowledge Proofs and zk-SNARKs

https://t.co/Sg9ZR9lY3Y

[Stephan @stephancill]

Do any other cryptography newbies wanna work through this intro to zk-SNARKs together? 👉👈 https://t.co/n01QiiMUHU

[Abhilash Inumella @abhilashi]

"zkSNARKs enable developers to program new cryptographic primitives, without having to think about elliptic curves, bilinear pairings, polynomial commitments, or other crypto math." https://t.co/tBbCsh7FyX

A must read by @gubsheep

[Kostas Kryptos @kostascrypto]

Great opportunity to standardize some amazing #ZKP solutions via #ZKProof. Super positive this time... we'll move fast! Excited for the #Plumo, #Semaphore, #zkInterface, #ProofsOfLiabilities, #zkBenchmarkingFramework, #AirAssembly, #CommitNProve, #Saver & #TurboPLONK proposals

[Tom Walton Pocock @tomwalpo]

TurboPLONK means Universal SNARKs can now outperform Groth16 on certain circuits, and gas costs are almost identical. Brings fast privacy on Ethereum a huge step closer.

[Jordi Baylina - baylina.eth @jbaylina]

Just implemented Poseidon Hash function in #Circom, #Javascript and as a Smart contract in #EVM. This allows verification circuits of Merkle trees with less than 400 constraints per level. @barrywhitehat @kobigurk @identhree https://t.co/Y5OORgFc8a

[weijie.eth @weijie_eth]

Benchmarked the Poseidon hash function against MiMC when applied to quinary and binary Merkle trees.

TL;DR: choose Poseidon over MiMC in any M. tree to save gas and snark constraints, and use quinary trees to maximize tree depth (but you pay more gas).

https://t.co/xktsoqdxbu

[Findora @Findora]

1st Place in #Cryptography - Poseidon

Grand Winner of the Cryptography Track, implements Poseidon hash function in the Zei library, including numerical computation + turbo-PLONK circuit, providing great insight into Zei. #Findora

https://t.co/a9l3uAujok
https://t.co/ZSham2j3O3

[Xandra.Manta 🥷🌲 @ajagbealexandra]

3/3
To improve the speed of the hash function, the team migrated from the Pedersen Hash Function to Poseidon hash function, as it operates directly on the underlying data type of the circuit. This helps to reduce the cost of connecting all the different parts of the circuits.

[Gro-Tsen @gro_tsen]

This afternoon I attended a very nice PhD defense by @luca_defeo's student Édouard Rousseau on “Efficient Arithmetic of Finite Field Extensions” (the manuscript doesn't seem online yet, but probably will be shortly; in the mean time, this bit is: https://t.co/VQBmAf4dPx‌). •1/6