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

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/

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/

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

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