Zero Knowledge30 Okt 2019

TEEs with Yan Michalevsky from Anjuna

In this week’s episode, we chat with Yan Michalevsky, CTO & Co-founder, Anjuna Security about their work with TEEs, a continuation of topic we covered in episode 82 of this podcast. In this episode, we go deeper and cover Intel SGX vs AMD memory, the risk profiles, tooling for TEEs, how zk techniques can be used alongside TEEs, applications of enclaves and how these techniques are being optimized for.

Here are some of the ideas we covered:

A Comparison Study of Intel SGX and AMD Memory Encryption Technology".

CoSMIX: A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves

Talk on CoSMIX

Thank you to this week's sponsor O(1)Labs.

O(1)Labs is the company behind the Coda Protocol, the world’s first succinct blockchain, using recursive zero knowledge proofs to make cryptocurrency decentralized at scale.

If you aren’t yet clear on recursive zkps, have a listen to an episode we did on the topic of recursive snarks with the co-founders of o1labs last year - https://www.zeroknowledge.fm/54

The Coda Testnet is live in Beta and has been consistently one of the most active testnets in crypto today. You can join their community of engineers, cryptographers, researchers and builders by visiting codaprotocol.com. Sign up for their newsletter to receive updates on Testnet progress, Mainnet launch and their forthcoming developer sdk.

If you like what we do:

Join us on Telegram

Support our Gitcoin Grant

Support us on the ZKPatreon

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a

BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(429)

When Math Meets Auto Research with Bartosz Naskręcki

This week, Anna and Tarun are joined by Bartosz Naskręcki, mathematician and professor at Adam Mickiewicz University and researcher at the Centre for Credible AI, to explore how AI agents are transfor...

11 Nov 1h 16min

From Nova to Magnetar: Three Years of Research with Srinath Setty

This week, Anna and Nico catch up with Srinath Setty, researcher at Microsoft. They look back at his research since his work on Nova, spanning lattice-based folding, zero-knowledge identity proofs, an...

28 Okt 50min

zkGolf: AI, Clean and Optimising ZK Circuits with zkSecurity

This week, Anna is joined by Nico and Kobi to speak with Mathias Hall-Andersen and Giorgio Dell'Immagine from zkSecurity about zkGolf, a competition challenging humans and AI agents to build the most ...

21 Okt 1h 11min

Exploring the Lasers that Power Quantum Computers

This week, Anna and Guillermo chat with Josh Yang, CEO and co-founder of Brightlight Photonics, about the lasers that power quantum computers. Josh explains how lasers are used in neutral atom and oth...

7 Okt 1h 15min

JP Aumasson on Quantum Risk, AI Attacks and Too Much Crypto

This week, Anna, Tarun and Nico are joined by JP Aumasson, co-designer of BLAKE3, author of Serious Cryptography and cryptography engineer at Cloudflare. They revisit the quantum threat to cryptograph...

30 Sep 57min

Auto Research on Yukon with Soubhik Deb

This week, Anna is joined by Soubhik Deb, Head of Research at EigenLabs, to explore Yukon, a platform for collaborative AI-powered research. Soubhik traces the project’s origins to ECDSA.fail, a compe...

23 Sep 1h 6min

Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast

This week, Anna and Kobi are joined by Ron Rothblum, Professor of Computer Science at Technion and researcher at Succinct. They catch up on Ron’s move from theory into practice, including his work on ...

16 Sep 1h 1min

The Evolution from ZKP2P to Peer with Richard Liang

This week, Anna catches up with Richard Liang from Peer, formerly ZKP2P. They trace the project’s evolution over the past two years, from their initial ZKP2P product that used ZK email proofs to conne...

9 Sep 46min