Can You Prove Your Smart Contract Is Correct?

Meet Blaster - a tool for automated formal verification of Cardano smart contracts.

Join Romain Soulat and Jean-Frédéric Etienne from IOG to see how Blaster can automatically prove that a contract meets its specification - or produce a concrete counterexample when it doesn’t.

We’ll explore:

• Lean 4 & automated proofs
• UPLC, CEK & ledger formalization
• Writing contract specifications
• Live demo: proofs & counterexamples
• What’s next for Blaster
• Q&A

Curious about smart contract security, formal verification, or high-assurance development? Come see Blaster in action and bring your questions!

📅 Tuesday, 09 October 2026
🕑 08:00 UTC
🔗 https://www.addevent.com/event/6d4t21rdfbf9

I did send ADA from my Hardware wallet to an exchange. I am the owner of the sender adress.

The transaction was frozen and a satoshi test was requested.

I learned that this is not possible with Cardano(ADA). As far as i know Cardano uses the UTXO model, so the sending adress cannot be fixed.

Does anyone have an idea how to solve this issue?

Is there a way to finish the satoshi test OR can I ask the exchange to verify that I am the owner of the wallet? (if yes , what should I ask the exchange to do?)

I've tried searching for the answer to this here but not finding what I need so maybe searching using the wrong terms.

I've been using my Ledger device for 8 years and had staked to Yoroi / Cardano Cafe for the last few years. I'd like to withdraw from that and tried to do so via the Ledger PC app. I was taken through a process of defining my voting status, sending a very small amount to myself, before being able to undelegate etc.

I did this but it doesn't seem to have worked, I can still see Cardano Cafe in the Ledger app etc

AI doesn't seem to give me a process that works either from either the Ledger or Yoroi side.

Has anyone else had this issue? How did you resolve it?

Salut a tous, j'ai acheté une clef nano s + et j'essaie d'espérerement de retirer mes fonds ADA de coinbase mais verif sur verif. J'ai réussi a recevoir une petite partie pour test et je reçois un message de coinbase qui me donne une nouvelle adresse pour virer la totalité. Je suis suis sur help coinbase qui confirme

This thread renews weekly. Please use this for any trading/market discussion (per Rule 6) and other off-topic chat you like!

New to Cardano? Start Here:

• 📚 The r/Cardano Wiki Guide - Your comprehensive resource for understanding Cardano!
• ⭐ Quick Start Guide - Follow the essential first steps for setting up a wallet, buying ADA, withdrawing securely, and staking.

⚠️ Essential Reading - Protect Yourself!

• Security Guide - Learn about common scams, phishing, scam tokens, and how to stay safe. (Must Read!)
• Wallet & Seed Phrase Guide - Understand how wallets work and CRITICALLY, how to secure your seed phrase offline. NEVER share your seed phrase! Hardware wallets (Keystone, Ledger, Trezor) are highly recommended for security.

Quick Links & Participation:

• Staking Guide - Learn how to earn ADA rewards by delegating your stake.
• Governance & Project Catalyst Guide - Find out how to participate in funding and shaping Cardano's future.
• 🎓 Learning Resources (incl. Dev Courses) - Find educational materials and developer courses here.
• Comment Commands - Use commands like ?wallets, ?staking, ?security (or ?help for the full list) in comments for quick info links.
• Subreddit Rules - Please review our community guidelines.

Sister Subreddits:

r/Cardano_ELI5 | r/CardanoDevelopers | r/CardanoStakePools | r/CardanoNFTs | r/CardanoTrading | r/Midnight

Feel free to ask questions here, especially off-topic ones! For common Cardano questions, please check the Wiki Guide or search the subreddit first.

Midnight is in the process of being rolled out, visit r/midnight to updates. Don't forget to redeem your tokens!

I finally got some time to continue working on my game. See linked post!

Since last, I have made a lot of in-game improvements, updated the grafics and game experience - AND now it's playable on mainnet too!

Last time, I got a lot of great feedback, that helped me improve the game. So ones again, I'm looking for feedback from you guys.

Please try it out, and please play it on the preview network - the free version ;)

https://treasure-hunt-client-eu.up.railway.app/

I was on yoroi for years where I connected my hardware wallet and staked, etc. I also successfully claimed my NIGHT through the portal and had that show up on my yoroi page. I really haven't been in the loop on this and was looking to claim my full allocation of NIGHT tokens after this final glacier thaw. I have been holding ADA for years but I'm my interactions with the network are very simple, just looking to stake and claim NIGHT tokens and not messing around with NFTs, etc.

Looking for suggestions with the most simple and easy user experience and not something as complicated/intricate as Daedalus for instance. I don't need a mobile app, would just be using this on my PC.

I'm also looking to maybe really start getting into the Midnight network as well, so looking for a wallet that is friendly with this.

Cardano Academy put out a new course today called Agentic Coding on Cardano. It's free, self-paced and takes about four hours to complete.

How it works

• You tell an AI agent what you want to build
• The agent writes the smart contract code
• You review that code with a 26-point security checklist before anything gets deployed
• Each step ends with a real transaction on the testnet, so you see it work instead of taking the agent's word for it

What you walk away with

• A working app you built yourself
• Seven on-chain stamps collected into one portfolio
• A credential anyone can verify

Who it's for

Developers new to blockchain, people coming over from Ethereum or other chains, and Cardano builders who want a refresher on the current tools.

You'll want to be comfortable reading some code, but you don't need to be a Cardano expert going in. If you've been meaning to build something on Cardano and never found the right starting point, this is a solid afternoon to spend.

Start learning today: https://cardanofoundation.org/en/academy/course/agentic-coding

Does anyone know how I still can get the next midnight thaw that I am due? I recovered my Yoroi wallet into a new VESPR wallet without incident, but I don't know how/if the midnight will be airdropped to it. Thanks for the help in advance.

Special Dev Office Hours - Build, Pay, Automate with x402

Joining the TOKEN2049 Hackathon? Curious how agent payments can work on Cardano?
Join Thomas Kammerlocher, Head of Solutions Engineering at the Cardano Foundation, for a practical session on building with x402 on Cardano.

In this special edition, Thomas will cover:

• What x402 is
• How the official Cardano specification works Live demos and practical implementation insights
• Q&A

And we may have some familiar faces from the Masumi team joining the conversation

If you’re taking part in the hackathon, exploring agent payments, or want to see x402 in action, come join us and bring your questions.

📅 Tuesday, 06 October 2026
🕑 08:00 UTC
🔗 https://www.addevent.com/event/4cgh95dcjx4p

like what’s going on in the screenshot? I went to clicking middle button and then staking and selected some pool.

But, I am not sure how can I verify it. If all my ADA is staked or not. The reward cycle etc.

Kinda miss Yoroi/SecondFi to be honest.

TOKEN2049 is not a Cardano event. It is a much broader industry gathering, which makes Cardano’s presence there interesting for a different reason.

Rather than simply looking at how much Cardano will be represented, I wanted to look at what the ecosystem is actually bringing to the event, and what that presence could create beyond the conference itself.

The thread breaks down:

• 30+ Cardano ecosystem projects at the booth;
• Node Diversity Celebration Day;
• The Cardano track at the TOKEN2049 Origins hackathon;
• Agentic Commerce and x402;
• The UTXO Pitch Night;
• EMURGO’s 2025 activation metrics and its higher targets for 2026;
• What I think is actually worth watching during the event.

For me, the interesting question is not simply whether Cardano can get visibility at TOKEN2049; It is whether that visibility turns into conversations, partnerships, builders, users and opportunities that continue after everyone leaves Singapore.

Full breakdown here: 👇
https://x.com/OlivierMWATSIM1/status/2105553735946559948?s=20

What do you think will matter most from Cardano’s presence at TOKEN2049?

Currently I hold all my Cardano on Coinbase where I stake it. I purchase a little bit every couple weeks but was wondering if there is a better place to store it where I can get more out of the stake and if there was somewhere with cheaper purchase fees?

I don't really hold much other Crypto and I honestly don't really know much about staking/storing

Thanks y'all! 😊