Tech Talks with Tomer

Securing Smart Contracts and DeFi's future ft. Mooly Sagiv

chip@stellar.org (Mooly Sagiv, Tomer Weller) — Tue, 19 Dec 2023 14:00:00 +0000

In December of 2023, decentralized finance (DeFi) protocols total value locked reached $50 billion. That’s a lot of money, which is why the security of smart contracts continues to be a hotly followed topic. Enter Mooly Sagiv and Certora—a smart contract security and audit company specializing in formal verification. Certora’s expertise lies in employing a mathematical method to rigorously prove that a design, particularly in code, meets its specifications.

Mooly Sagiv describes the evolution of formal verification from an obscure academic pursuit to a cornerstone in fortifying smart contracts. He delves deep into the complexities of securing compact code, why formal verification is a perfect match and the future of smart contracts beyond the Ethereum Virtual Machine (EVM).

Follow @tomerweller on Twitter to get more updates about innovation on Stellar between episodes!

To learn more about Certora, follow

@CertoraInc

Meta Anchors in Action: Arf's Impact on Cross-Border Finance with Kazim Ozyilmaz

chip@stellar.org (Kazim Ozyilmaz, Tomer Weller) — Thu, 27 Jul 2023 16:00:00 +0000

In Episode 4 Season 2 of Tech Talks with Tomer, Kazim Ozyilmaz co-founder at Arf takes us on a captivating journey at the crossroads of traditional finance and blockchain technology. Arf, as a Swiss-regulated global settlement banking platform, uses Stellar to offer short-term liquidity and B2B financing. Kazim discusses Arf's pivotal role as a "meta anchor," facilitating smooth cross-border transfers for multiple financial institutions, with plans to integrate with DeFi platforms on the horizon.

Follow Tomer on Twitter: @tomerweller

Follow Stellar on Twitter: @StellarOrg

Follow Stellar on LinkedIn: https://www.linkedin.com/company/stel...

Join our Discord: https://discord.gg/stellardev

Listen on Spotify

Listen on Apple Podcasts

Keep up with all things Stellar:

https://stellar.org/

Building Smart Contracts Faster: Talking Efficient Development w/ Aha Labs Co-founder Chad O

chip@stellar.org (Chad Ostrowski, Tomer Weller) — Wed, 28 Jun 2023 16:00:00 +0000

In Episode 3 Season 2 of Tech Talks with Tomer we speak with Aha Labs Co-Founder Chad Ostrowski. Aha Labs is a group of developers best known for RAEN, a product which allows ABI/contract info to be stored on-chain for the NEAR protocol. Chad is also a content creator and an active member of the Stellar community. In one recent video, he compared NEAR, Soroban, and CosmWasm’s approaches to wrapping a key-value store in Rust smart contracts.

Tech Talks with Tomer is a video and podcast series hosted by Tomer Weller, VP of Product at Stellar Development Foundation. In every episode, Tomer speaks with some of the smartest engineers in blockchain about the biggest innovations happening in the space.

Like and Subscribe if you liked this video!

Follow Tomer on Twitter: @tomerweller

Follow Stellar on Twitter: @StellarOrg

Follow Stellar on LinkedIn: https://www.linkedin.com/company/stel...

Join our Discord: https://discord.gg/stellardev

Listen on Spotify

Listen on Apple Podcasts

Keep up with all things Stellar:

https://stellar.org/

Building Developer Tools in a Cross-Chain World: Insights from Cubist Co-Founders

chip@stellar.org (Riad Wahby, Fraser Brown, Tomer Weller) — Wed, 24 May 2023 16:00:00 +0000

Welcome to the second episode of season 2 of Tech Talks with Tomer, a video and podcast series hosted by Tomer Weller, VP of Product at Stellar Development Foundation. In every episode, Tomer speaks with some of the smartest engineers in blockchain about the biggest innovations happening in the space.

In this episode, Tomer chats with Fraser Brown and Riad S. Wahby, co-founders of Cubist. Cubist builds security-focused developer tools for multi-chain/cross-chain development in Web3, helping developers write contracts for multiple chains with the ease of just writing for one. Cubist received a grant through the Stellar Bridge Bounty Program in the fall of 2022. In this episode, Tomer, Fraser and Riad talk about why Cubist bridged with Stellar, how to build securely in a cross-chain environment, and developer tooling in blockchain.

Both Riad and Fraser are assistant professors at Carnegie Mellon University, in addition to running Cubist.

Follow Tomer on Twitter: @tomerweller

Follow Stellar Development Foundation on Twitter: @StellarOrg

Follow Stellar Development Foundation on LinkedIn

Join our Discord

Listen on Spotify

Listen on Apple Podcasts

Tech Talks with Tomer: Smart Contracts and Interoperability with Axelar Co-founder Sergey Gorbunov

chip@stellar.org (Sergey Gorbunov, Tomer Weller) — Wed, 26 Apr 2023 12:15:00 +0000

In this episode, Tomer chats with Sergey Gorbunov, Co-founder of Axelar. Axelar is a decentralized protocol that facilitates cross-chain communication. Both Axelar and Stellar were built to facilitate interoperability, and in this episode, Tomer and Sergey talk about their teams' respective approaches and the biggest developer challenges.

Before founding Axelar, Sergey was part of the founding team at Algorand, where he led the cryptography group. He is also a computer science professor at the University of Waterloo, teaching classes on information security and computer networks.

Like and Subscribe if you liked this video!

Follow Tomer on Twitter: @tomerweller

Follow Stellar on Twitter: @StellarOrg

Follow Stellar on LinkedIn: https://www.linkedin.com/company/stellar-development-foundation/

Join our Discord: https://discord.gg/stellardev

Tech Talks with Tomer: Securing Digital Assets with Ledger's Fabrice Dautriat

chip@stellar.org (Tomer Weller, Fabrice Dautriat) — Fri, 21 Apr 2023 14:37:53 +0000

Welcome to the sixth edition of Tech Talks with Tomer, hosted by Tomer Weller, VP of Product at Stellar Development Foundation. In every episode, Tomer will host discussions about innovation on the Stellar network and hear directly from the engineers building the tech stack. In this episode, Tomer chats with Fabrice Dautriat, Head of Developer Ecosystem at Ledger. Fabrice Dautriat is an engineer who started his crypto journey five years ago. He first joined Ledger as a Product Manager for Hardware Wallet applications. After one long crypto winter, two new hardware wallets (Nano X and S+) and more than 10 blockchain protocols added to Ledger Live, Fabrice is now Head of Developer Ecosystem at Ledger. In his role, he is now responsible for integrating a variety of different projects with Ledger and orchestrating the platform approach Ledger is building. Follow @tomerweller on Twitter to get more updates about innovation on Stellar between episodes!