768381
Verifiable Summit

@verifiablesummit #768381

Join us in Warsaw on September 4, 2024, for Verifiable Summit by zkWarsaw โ€“ a one-day conference dedicated to applied cryptography. Visit verifiablesummit.com
43 Follower 72 Following
๐ŸŽ™๏ธ Verifiable Summit Speaker Announcement ๐ŸŽ™๏ธ

๐Ÿ”ฌ We are excited to announce Ariel Gabizon, Chief Scientist at @aztecnetwork, as a speaker at Verifiable Summit 2024! ๐ŸŒŸ

๐Ÿ›ก๏ธ With a rich background in zk-SNARKs, and contributions to major projects, such as Zcash and Filecoin, Ariel will deliver a talk titled "FFT's on the Projective Line"

๐Ÿคฟ Expect a deep dive into the groundbreaking advancements in the zero-knowledge cryptography space, and its applications within Privacy Tech!

๐ŸŽŸ๏ธ Arielโ€™s talk is one you will not want to miss! Get your tickets here: https://lu.ma/vsummit24
/zk
๐ŸŽค Verifiable Summit Speaker Announcement ๐ŸŽค

๐ŸŒ• Weโ€™re over the moon to announce ZK Expert, Vanishree Rao, as a speaker at Verifiable Summit 2024! ๐ŸŒŸ

๐Ÿชถ She has over 15 years of experience designing and building #zk systems. She led cryptography for Mina Protocol where she led design and implementation of Minaโ€™s proof system and consensus protocol. She did her PhD at UCLA with Prof. Amit Sahai, a renowned expert on zero-knowledge proofs.

๐Ÿ”’ Vanishree's talk - "The Next Frontier of Cryptography: Witness Encryption" - will explore how witness encryption can revolutionize selective information disclosure. Learn how this technology allows information access only to qualifying entities without knowing their identities in advance, and get a glimpse of the projected roadmap for future research.

๐Ÿ“… Secure your tickets here:
โƒ lu.ma/vsummit24 (Verifiable Summit)
โƒ tickets.ethwarsaw.dev (ETHWarsaw + Verifiable Summit Bundle)
/zk
๐Ÿ”” Speaker Announcement ๐Ÿ””

๐ŸŒ We're delighted to welcome @zkmarek, CTO and Co-Founder of
@vlayer, as a speaker at Verifiable Summit 2024! โœจ

โค๏ธโ€๐Ÿ”ฅ A crypto trailblazer since 2016, he founded Ethereum-focused dev shop Ethworks (now Archblock) in 2017 ๐Ÿ—๏ธ, created Waffle ๐Ÿ”ง (a leading smart contract testing framework), and runs a zk-focused YouTube channel, @zkmarek ๐Ÿ“บ. He's also the Co-Founder of zkWarsaw, a community built around zero-knowledge proofs in Poland! ๐Ÿ‡ต๐Ÿ‡ฑ

๐Ÿ“… @zkmarek's talk is one you wonโ€™t want to miss! Grab your ticket and get ready to be inspired https://lu.ma/vsummit24
/zk
๐Ÿ”” Speaker Announcement ๐Ÿ””

๐Ÿ”ฅ We're excited to welcome Adam Gagol, Co-Founder and CTO at /aleph-zero, as a speaker at Verifiable Summit 2024! ๐Ÿ’ฏ

๐ŸŽ“ Adam holds a Ph.D. in Mathematics, specialising in Probabilistic Methods in Combinatorics. Recently, Adam has focused on blockchain privacy, zero-knowledge proofs, and secure multi-party computation to create frameworks for private DeFi.

๐Ÿ“ข Don't miss his talk on "Private DeFi: The Possible, the Impossible, and Whatโ€™s Worth It" at Verifiable Summit. Dive into the future of decentralized finance with Adam as he explores the boundaries and opportunities of private DeFi, highlighting the potential of zero-knowledge proofs and secure multi-party computation.

๐ŸŽŸ๏ธ Get your tickets and secure your spot now! https://lu.ma/vsummit24
/zk
๐ŸŒŸ Speaker Announcement ๐ŸŒŸ

๐ŸŽ‡ Get ready to be inspired by Damian Straszak from Cardinal Cryptography working on /aleph-zero at Verifiable Summit 2024!

๐Ÿ–ฅ๏ธ With a PhD in Theoretical Computer Science from EPFL and over 15 years of Competitive Programming experience, Damian is a two-time ACM ICPC World Finalist, and an expert in Cryptography and Distributed Computing.

๐Ÿš€ Don't miss his workshops on "Client-side Proving" and "Beyond ZKPs: MPC". Buy a ticket now and mark your calendars for these must-attend sessions! https://lu.ma/vsummit24
/zk
๐Ÿšจ Speaker Announcement (ZKPs) ๐Ÿšจ

๐ŸŽ™ We are proud to announce that Greg ลšwirski, the dynamic COO and Engineer at Reilabs, will be joining us as a speaker at Verifiable Summit 2024!

๐Ÿง‘โ€๐Ÿ’ผ Greg is not only the driving force behind Business Operations at Reilabs, but also a crypto enthusiast with a deep interest in #zk technology.

๐Ÿง  As the mastermind behind the design and implementation of Cairo Hints, he brings a wealth of knowledge and innovation to the table. In his talk, "Using Cairo Hints for Cheaper Cairo Proving", Greg will uncover unique strategies for optimising Cairo proving, promising a fascinating session you wonโ€™t want to miss!

๐ŸŽŸ๏ธ Buy your ticket now and join us on September 4th in Warsaw for this exciting talk! https://lu.ma/vsummit24
/zk
๐Ÿšจ Verifiable Summit Speaker Announcement (ZKPs) ๐Ÿšจ

๐ŸŒŸ We are thrilled to welcome Hersh Patel @eulerlagrange.eth, Co-Founder and CEO of /opacity, as a speaker at Verifiable Summit 2024!

๐ŸŒ Join us for his talk on "Solving the Impossible: MPC Collusion and Economic Security" - Hersh will detail his journey from facing an insurmountable problem with zkTLS and web2 data onchain, to discovering a solution through a product-focused approach utilising /eigenlayer economic security.

๐Ÿ”’ This insightful session is a MUST-ATTEND for anyone interested in #zk technology and its applications.

๐Ÿ“… Save the date and join us in Warsaw on September 4th ๐Ÿ‘‰ https://lu.ma/vsummit24
/zk
๐Ÿšจ Speaker Announcement (ZKPs) ๐Ÿšจ

๐Ÿ‘จโ€๐Ÿ”ฌ We are thrilled to welcome Emanuele Ragnoli, a renowned Technologist and Mathematician, as a speaker at Verifiable Summit 2024!

๐Ÿ” Join us for his talk on "Verifiable Analytics with Verifiable SQL" - Emanuele will dive into a protocol that verifies SQL queries using cryptographic tools. This approach ensures accuracy in analytics-based queries without relying on general ZK-proof systems.

๐Ÿš€ Emanuele holds a PhD in Systems Theory and serves as an Adjunct Professor at Warsaw University. He is also Technical Co-Founder at Provably.ai. His current focus is on Multi-Party Computation Protocols, Verifiable Analytics, and the integration of Hardware Acceleration in PETS.

Don't miss this insightful session - buy your ticket now and join us on September 4th in Warsaw for this exciting talk! ๐ŸŽŸ๏ธ ๐Ÿ“ท lu.ma/vsummit24
/zk
GM โ˜€๏ธ Are you an applied cryptography enthusiast and thinking about getting a ticket to Verifiable Summit, but never visited Warsaw before?

Here are ๐ŸŒŸ 5 Unique Reasons to Visit Warsaw! ๐ŸŒŸ

1. ๐Ÿฐ Discover the Royal Castle.

2. ๐Ÿบ Enjoy the bustling nightlife in the trendy Praga district, with its hip bars and clubs.

3. ๐ŸŽต Enjoy a live Chopin concert in ลazienki Park.

4. ๐ŸŒด Experience Warsawโ€™s quirky attractions, like the palm tree at the de Gaulle roundabout.

5. ๐Ÿ›๏ธ Shop at the vibrant Hala Koszyki, a historic market hall turned foodie paradise.

You just cannot miss it! Buy your ticket for Verifiable Summit and spend some time in Warsaw ๐Ÿ‡ต๐Ÿ‡ฑ https://lu.ma/vsummit24
/zk
๐Ÿšจ NEW SPONSOR ALERT ๐Ÿšจ

๐Ÿš€ We are thrilled to announce Credo Ventures as one of our Sponsors for Verifiable Summit!

๐Ÿฆ Credo Ventures is an early-stage venture capital firm that partners with outstanding technology founders from Central and Eastern Europe to help them realise their global ambitions. Credo Venturesโ€™ sweet spot is pre-seed and seed rounds, and their investments include software unicorns ๐Ÿฆ„ such as UiPath, Productboard, and ElevenLabs.

๐Ÿง‘โ€๐Ÿ’ป We are excited to welcome several members of the Credo Ventures team at the conference!

๐Ÿ‘€ Stay tuned for more sponsor updates. Donโ€™t wait - buy your ticket now and join us on September 4th in Warsaw for this exciting event! ๐ŸŽŸ๏ธ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
๐Ÿšจ Attention ๐Ÿšจ

๐ŸŽŸ๏ธ Today is the final day to grab your early bird tickets for the Verifiable Summit!

๐Ÿ• Donโ€™t let this chance slip away like that last slice of pizza.

๐ŸŽข Secure your spot now for a wild ride into zero-knowledge proofs and cutting-edge tech! Fly over and get your discounted tickets before theyโ€™re all gone! ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
๐Ÿ“ข BIG NEWS! ๐Ÿ“ข

๐Ÿš€ We are thrilled to announce @aleph-zero as one of our Lead Sponsors for Verifiable Summit!

๐Ÿ” @aleph-zero is a layer 1 that enables teams to deploy scalable, secure, low-cost, and ZK privacy-enhanced products across multiple verticals - from DeFi and gaming to enterprise. Aleph Zero is building the infrastructure for the next generation of confidential Web3 apps. Now also EVM-compatible.

๐Ÿฆพ We are excited to hear from several members of the Aleph Zero team at the conference, including Co-Founders, Adam Gagol and @antoni.

๐Ÿ‘€ Stay tuned for more updates. Donโ€™t wait - buy your ticket now and join us on September 4th for this exciting event! ๐ŸŽŸ๏ธ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
๐Ÿ“ข BIG NEWS! ๐Ÿ“ข

๐Ÿš€ We are thrilled to announce Provably (www.provably.ai) as one of our Base Sponsors for Verifiable Summit!

๐Ÿงพ Provably enables Verifiable Analytics on Private Data. Data owners can keep their data hidden while allowing aggregate SQL queries to be run on their data. Provably works directly with SQL - no ZK skills needed!

๐Ÿ’  We cannot wait to hear from Provably co-founder and blockchain expert, Dr. Emanuele Ragnoli, who will be taking the main stage at the conference.

๐Ÿ‘€ Stay tuned for more updates. Donโ€™t wait - buy your ticket now and join us on September 4th for this exciting event! ๐ŸŽŸ๏ธ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
๐Ÿšจ Theme Announcement ๐Ÿšจ

5๏ธโƒฃ Our fifth and final theme is Quantum Cryptography ๐Ÿ”ฎ

๐Ÿงท Is our digital security in danger from quantum computers? How does Quantum Cryptography impact the security of your private keys? Are zero-knowledge computations safe in a post-quantum world? Can lattices and hashes save us? If these questions keep you up at night, come to the Verifiable Summit in Warsaw on September 4th for insights and reassurance. Learn more and put your mind at ease! ๐Ÿ’†โ€โ™€๏ธ

๐Ÿ‘‰ If youโ€™re passionate about Quantum Cryptography, submit a speaker application to be part of the conversation! https://gplxanr6y5w.typeform.com/to/qhvjMgaA
/zk
๐Ÿšจ Theme Announcement ๐Ÿšจ

4๏ธโƒฃ Our fourth theme is Trusted Execution Environments (TEEs) ๐Ÿงฉ

๐Ÿ A buzzword in the blockchain space, but whatโ€™s the hype all about? Normally, apps run in parallel and interfere with one another, risking data leakage. TEEs solve this problem by running computations in a secure part of the computer, keeping your private data safe. Learn about other critical computations that can be moved to TEEs and how this solution competes with others at the Verifiable Summit in Warsaw on September 4th.

๐Ÿ‘‰ If youโ€™re passionate about TEEs, submit a speaker application to be part of the conversation! https://gplxanr6y5w.typeform.com/to/qhvjMgaA
/zk
๐Ÿ“ข BIG NEWS! ๐Ÿ“ข

๐Ÿš€ We are thrilled to announce /opacity as one of our Lead Sponsors for Verifiable Summit!

โ™พ๏ธ Opacity Network privately verifies user data from anywhere into your app. Import Twitter social graphs, Uber ratings, Carta vesting, and more, unlocking new business models and bypassing the cold start problem. Supported by economic security from /eigenlayer

๐Ÿง  We cannot wait to hear from Opacity Network co-founder @eulerlagrange.eth, who will be taking the main stage at the conference.

๐Ÿ‘€ Stay tuned for more updates. Donโ€™t wait - buy your ticket now and join us on September 4th for this exciting event! ๐ŸŽŸ๏ธ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
๐Ÿ“ข BIG NEWS! ๐Ÿ“ข

๐ŸŒŸ We are thrilled to announce @vlayer as one of our Lead Sponsors for Verifiable Summit!

๐ŸŒ @vlayer is an all-in-one infrastructure layer that allows developers to extract, verify and integrate real-world data into Ethereum smart contracts, in the form of trustless claims. Their innovative approach to verifiable data and decentralised technologies will add immense value to our event.

๐Ÿ‘€ Stay tuned for more updates, including insights from vlayerโ€™s co-founders (@zkmarek, @rvreth) as speakers. Donโ€™t wait - buy your ticket now and join us on September 4th for this exciting event! ๐ŸŽŸ๏ธ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
๐Ÿšจ Theme Announcement ๐Ÿšจ

3๏ธโƒฃ Our third theme is Secure Multi-Party Computation (MPC) ๐Ÿค

๐Ÿ•ธ The go-to method for computations using data from multiple sources without revealing individual inputs. MPC is used for private key security, trusted setup ceremonies, web data proofs, and more - and itโ€™s just the beginning. Discover the solutions that MPC can offer at the Verifiable Summit in Warsaw on September 4th.

๐Ÿ‘‰ If youโ€™re passionate about MPC, submit a speaker application to be part of the conversation! https://gplxanr6y5w.typeform.com/to/qhvjMgaA
/zk
๐Ÿšจ Theme Announcement ๐Ÿšจ

2๏ธโƒฃ Our second theme is Fully Homomorphic Encryption (FHE) ๐Ÿ›ก๏ธ

โ›ช๏ธ The holy grail of cryptography, allowing computations on encrypted data without decryption. Join us at Verifiable Summit in Warsaw on September 4th to discover how to keep transactions private without using mixers. Learn more about the challenges, limitations, and opportunities FHE offers for blockchains.

๐Ÿ‘‰ If youโ€™re passionate about FHE, submit a speaker application to be part of the conversation! https://gplxanr6y5w.typeform.com/to/qhvjMgaA
/zk
๐Ÿšจ Theme Announcement ๐Ÿšจ

1๏ธโƒฃ Our first theme is Zero-Knowledge Proofs (ZKPs) ๐Ÿ”

โš™๏ธ These powerful tools have shaken up the Blockchain world! Join us at Verifiable Summit in Warsaw on September 4th to discover the latest trends, from SNARKs to STARKs, learn how to boost proving speed, reduce verifying costs, and much more.

๐Ÿ‘‰ If youโ€™re passionate about ZKPs, submit a speaker application to be part of the conversation! https://gplxanr6y5w.typeform.com/to/qhvjMgaA
/zk
๐Ÿš€ EXCITING NEWS!!

ICYMI early bird tickets have flown in and are waiting for you to take home ๐Ÿฆ…

We are less than 2 months away from Verifiable Summit kick-off! Secure your spot now ๐ŸŽŸ๏ธ๐Ÿ‘‡

https://lu.ma/vsummit24
/zk
GM ๐ŸŒž Anyone else feeling the post /ethcc blues? We gotchu fam ๐Ÿ’œ

Come hang with us at Verifiable Summit on September 4th in Warsaw ๐Ÿ‡ต๐Ÿ‡ฑ

We aim to discuss some of the most significant applications and advancements within the field, including zero-knowledge proofs, fully homomorphic encryption, secure multi-party computation, trusted execution environments, and quantum cryptography ๐Ÿค“

Speaker announcements coming soon ๐Ÿค ๐Ÿ‘€ Don't miss out ๐Ÿ‘Œ ๐Ÿ‘‡
/zk
๐Ÿ”ฅ๐Ÿ”ฅ Weโ€™re excited to announce the inaugural Verifiable Summit by zkWarsaw - a one-day conference dedicated to applied cryptography. Join us in Warsaw on September 4, 2024, during Warsaw Blockchain Week ๐Ÿ‡ต๐Ÿ‡ฑ

Head over to our website to find out more ๐Ÿ‘‰ https://verifiablesummit.com

More exciting details coming soon!