How To Get Your Verified Dafny Program To Interact With External Code
This blog explores why getting Dafny code to interact with external code is very useful and how to do itby June 30, 2022Events and ConferencesDevelopers
JUNE 2021 #BuildWithConsenSys: BrightID, OpenZeppelin Defender, NFTX / Upshot, and MEV & Flashbots
JUNE 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!by June 10, 2021Events and ConferencesDevelopers
#BuildWithConsenSys: Cross-chain Liquidity and Messaging
THURS, 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!by May 19, 2021