How To Get Your Verified Dafny Program To Interact With External CodeThis blog explores why getting Dafny code to interact with external code is very useful and how to do it
JUNE 2021 #BuildWithConsenSys: BrightID, OpenZeppelin Defender, NFTX / Upshot, and MEV & FlashbotsJUNE 2021, Every Thursday @ 10AM PT - This month, we will be discussing BrightID group verification & Dapp integration, OpenZeppelin Defender, NFTX and/or Upshot, and MEV & Flashbots. There will be special guest speakers as well as our developer ambassadors leading the conversations. So jump in and let's discuss!
#BuildWithConsenSys: Cross-chain Liquidity and MessagingTHURS, MAY 20 @ 10AM PT - This week, we will be discussing cross-chain liquidity and messaging with special guests, Brent Xu (Umee), Arjun (Connext), and Thessy (ConsenSys). Cross-chain liquidity is next. How are protocols creating interoperability, mechanizing liquidity in different ecosystems? Let's look at the code and let's discuss!