Hardened JS and the Architecture of Agoric with Dean Tribble
Zero Knowledge16 Helmi 2022

Hardened JS and the Architecture of Agoric with Dean Tribble

This week, Anna chats with Dean Tribble, co-founder and CEO of Agoric. Dean walks us through the landscape of programming languages and Agoric’s philosophy behind building a blockchain that has Hardened JS as its smart contract language. We hear about the two big challenges in using JavaScript in blockchain development, malleability and non-deterministic, and how Agoric addresses these. Dean explains the security implications of many popular blockchain languages and how this led them to build Agoric’s smart contract infrastructure allowing JavaScript functions to run with specific access control – leaving the money management to the larger framework. We touch on what to expect from the upcoming development phases of Agoric, various bridging partnerships to come, and last but not least – if, when and how they envision ZK roll-ups getting implemented into the stack.

Here are some links for the episode:


If you’re looking to jump into ZK professionally – head over to the ZK Jobs Board to find openings from some of the top teams working in ZK: https://jobsboard.zeroknowledge.fm/


ZK Hack returns for a 2nd edition with ZK Hack Mini - kicking off on 1st March with a series of workshops and puzzle hacking competitions.


Sign up for the first event on March 1st.


Today’s episode is sponsored by Polygon.


Polygon is one of the top Ethereum scaling platforms for developers with more than 130+ mn unique user wallets. They are committed to bringing web3 to the masses by improving scalability and fostering the network effects of Ethereum.


Polygon's projects now include a number of fully secured EVM-compatible Zero Knowledge rollup solutions like Polygon Hermez, Polygon Miden, and Polygon Nightfall and the most recently announced acquisition of Mir Protocol, now known as Polygon Zero. These solutions inherit the security of Ethereum and use the power of zero knowledge.


If you like what we do:


Follow us on Twitter - @zeroknowledgefm


Join us on Telegram


Catch us on Youtube


Read up on the r/ZKPodcast subreddit


Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A


Support our Gitcoin Grant


Support us on the ZKPatreon


Donate through coinbase.commerce

Read transcript

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(421)

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

This week, Anna and Guillermo are joined by Patrick O'Grady, founder of Commonware. They discuss his journey from Coinbase and Avalanche to building Commonware, a Rust library of composable primitives...

5 Elo 1h 12min

Private Information Retrieval (PIR) with Alex Hoover

Private Information Retrieval (PIR) with Alex Hoover

In this episode, Anna and Kobi are joined by Alex Hoover, cryptographer and Assistant Professor at Stevens Institute of Technology. They explore Private Information Retrieval (PIR)—a cryptographic pri...

29 Heinä 1h 4min

Alex Ozdemir on where Theorem Provers and ZK meet

Alex Ozdemir on where Theorem Provers and ZK meet

This week, Anna and Nico are joined by Alex Ozdemir, Assistant Professor at Georgia Tech, to explore the intersection of formal verification and zero knowledge. They begin by revisiting the evolution ...

15 Heinä 1h 1min

Sergey Gorbunov on TEEs and the Arc Privacy Sector

Sergey Gorbunov on TEEs and the Arc Privacy Sector

This week, Anna speaks with Sergey Gorbunov, Engineer at Circle, about Arc, Circle’s new EVM-compatible Layer 1 blockchain, and its approach to a TEE based on-chain privacy. They begin by revisiting S...

8 Heinä 1h 7min

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

Last week on the show, we interviewed Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. The conversation ran long, so we're releasing some of the extra material as an exclusive ...

1 Heinä 6min

Pushing the Limits of Proof Systems with Benedikt Bünz

Pushing the Limits of Proof Systems with Benedikt Bünz

In this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. They start with a quick update on Espresso's architecture, its role in delivering fas...

24 Kesä 1h 8min

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

No main episode this week, but we’ve got an exclusive bonus clip for our zkMesh+ subscribers! Continuing our conversation from last week, Wyatt Benno (ICME) describes the world of 'vericoding' - the n...

18 Kesä 1min

Building ZK-Powered AI Guardrails with Wyatt Benno

Building ZK-Powered AI Guardrails with Wyatt Benno

In this episode, Anna and Nico chat with Wyatt Benno, technical founder of ICME Labs. They trace Wyatt’s start into ZK in the ZKHack Discord and Justin Thaler’s study group before diving into ICME’s e...

10 Kesä 1h 7min

Suosittua kategoriassa Koulutus

rss-murhan-anatomia
psykopodiaa-podcast
voi-hyvin-meditaatiot-2
rss-arkea-ja-aurinkoa-podcast-espanjasta
rss-vapaudu-voimaasi
kesken
adhd-podi
ilona-rauhala
rss-liian-kuuma-peruna
aamupore
jari-sarasvuo-podcast
rss-koira-haudattuna
psykologia
rss-hereilla
leikitaanko-laakaria
rss-tietoinen-yhteys-podcast-2
rahapuhetta
rss-niinku-asia-on
aamukahvilla
rss-metropolia-ammattikorkeakoulu