🌟 We're hosting a special Twitter Space to dive deep into our groundbreaking ZK prover launch — Expander. It’s the world's fastest ZK proof system to date.

🚀 Topic: Expander ZK Prover Launch
📅 Date: May 9th, 2024
⏰ Time: 14:00-15:00, UTC

Link:
twitter.com/i/spaces/1mrxm…

said this before, repeating cause seeing it lately - every time I see a pairing-based protocol in mutliplicative notation I think of a cryptgrapher looking out for their job security - why would you put all the important information in a small font superscript?

5 reasons to come to Kraków
Places edition🗺️
1.Zakrzówek lake
2.Math bench
3.Rynek główny
4.Kościuszko Mound (look it up)
5.ZK Hack Kraków venue
Apply 👉zkkrakow.com👈
#zkhack #polishblockchainweek
🧜‍♀️ ETHWarsaw 🇵🇱 thePolacy Polish Blockchain Week

Giacomo Fenzi they say they need subexponential LWE - do you know if that's impacted by the recent paper?

Nephew of Turing on the Polish contribution to breaking Enigma.
youtube.com/watch?v=pyWGkW…

We’re thrilled to welcome Dan Boneh, Professor of Computer Science at Stanford University, to the CyLab Seminar series next Monday, April 29 at 12 p.m. ET to discuss developments in succinct proof systems & their applications. See abstract & live streaming details: cylab.cmu.edu/events/2024/04…

Do the current zk-evm's allow a contract calling another contract? How do they handle that?
Or is it easy cause a contract calling another contract gets compiled somehow to evm bytecode?

Technical questions about rust zk compilers - Succinct RISC Zero 🟡 Valida
When starting with a rust program with function calls, and say those functions aren't built-ins - do you first inline the functions and then compile to riscV?

Grateful to have had the opportunity to talk about our work on folding at #zk11 youtu.be/3udCT3E1prA?si…

🚨 ZKProof 6 Early-Bird ends on April 15th ! 🚨

From zkVMs to PLONK standards, with Ale Chiesa, Jens Groth, Mary Maler and many more for 3 days of deep-dive!

Which Verifier to formally verify? New SNARK vulnerabilities? How's JOLT? STIR?

Join us!
zkproof.org/events/zkproof…

The only way in real life to get an engineering team to simplify an overcomplicated design they've already partially implemented, is find a severe attack on it.

For a client I am looking for an auditor with good familiarity with BLS12-381, Rust, and preferably fuzzing. I had to forgo this opportunity for personal reasons but I want to connect my client with a good replacement. Please get in touch if you are or know someone who is keen.

Very excited to announce a 1st batch of #ZkHackKrakow judges!

Anna Rose (@zeroknowledgefm)
Ariel Gabizon (@rel_zeta_tech)
dcbuilder.eth ⚪️ (@worldcoin)
0xSachinK (@zkp2p)
Orest Tarasiuk (@zkWarsaw)
Tiago
Filip Siroky (@mitoncfund)
Marcin Kostrzewa (@reilabs_io)
0xGL (@__zkhack__ )

Spoiler alert: Feels like the general IQ is going down, trying to watch 3-body problem, but struggling with the stupidity of superior aliens deciding to destory humanity instead of help it which was their plan for decades, because little red riding hood is a story and not…

Pure mathematicians when a number appears in their work