Episode 218: 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

Previous Episodes

Episode 230: Designing Optimistic Interoperability with Nomad

In this week’s episode, Anna catches up with Anna Caroll and James Prestwich from Nomad. Together they explore the Nomad optimistic interoperability solution, how it first was developed, what lessons it takes from previous attempts at interoperability and cross-chain bridging, how the system works and more.

Episode 229: Going Cross-Chain with Polkadot’s XCM

In this week’s episode, Anna dives back into the Polkadot world with friend and occasional co-host Rob Habermeier from Parity. They cover XCM – the Cross-Consensus Messaging format – and how XCM allows parachains to speak to one another, passing messages through the validators on the relay chain via XCMP Cross-Chain Message Passing.

Episode 228: Catch-up at DevConnect AMS with Tarun, Guillermo and Brendan

In this week’s episode, Anna catches up with Tarun, Guillermo and Brendan at DevConnect Amsterdam to cover a range of interesting and random topics like how blockchain and AI thinking differs, where it could intersect and how ZK tech could be implemented, how science could benefit from more adversarial testing, why peer review is broken, math theory, takeaways from DevConnect and more!

Episode 227: Move & Sui with Sam Blackshear from Mysten Labs

In this week’s episode, [Anna](https://twitter.com/annarrose) chats with [Sam Blackshear](https://twitter.com/b1ackd0g), co-founder and CTO at Mysten Labs. Sam has a background in programming language research and is one of the authors of the Move language, a language that can be used to implement custom transactions and smart contracts. They chat about Mysten’s concept of programmable objects and what properties are necessary to make this functional for a blockchain context. They also cover Sui, a smart contracts platform which is a generalized L1 with a new asset centric data model for parallel transaction commits being developed by Mysten.

Episode 226: Interoperability with Sergey Gorbunov from Axelar

This week, Anna catches up with Sergey Gorbunov from Axelar and revisits the topic of bridges. They chat about what led Sergey to work on interoperability, the problems these solutions try to solve, how it compares to existing solutions, and what’s next for the project. They also chat about some of the challenges of a multi bridge landscape and the fragmentation of liquidity.

Episode 225: Dark Forest and 0xPARC with Gubsheep

This week, Anna catches up with Gubsheep from 0xPARC. They chat about Dark Forest – a decentralized zk-based RTS game, built on Ethereum. They cover how it has evolved in the past 2 years and what’s upcoming in the Dark Forest’s community, governance and experiments. They recap the recent Gitcoin GR13 ZK Tech side round, review some moonshot ideas for ZK projects of the future and discuss potential avenues of funding in the ZK space. Lastly, they dive deeper into the 0xPARC ecosystem by exploring the public goods and research projects 0xPARC has in the works from their support of application level R&D on decentralized systems to experimental applications of ZK for end-user facing apps.

Episode 224: Foundry with Georgios Konstantopoulos

This week, Anna & Tarun catch up with Georgios Konstantopoulos from Paradigm – a key crypto VC. They chat about his move to CTO at the firm, the team he has built and what they are working on. Then they dive into Foundry – a fast, portable, modular testing toolkit for Ethereum app dev written in Rust. They discuss the tooling landscape, why Foundry is making a bet on solidity, the different types of testing that developers are doing and other open questions in the field.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: