Manipuler les Contrats Intelligents
Playing with Smart Contracts · Perceber Contratos Inteligentes · Jugar con Contratos Inteligentes
Taught 28 times across 11 recorded calls (Ch1PT, Ch2GL, Ch4EN, Ch5PT) between 2025-10-08 and 2026-09-22 , in EN AND PT .
Start here
Proof Mechanisms Compared
The shallowest moment on this topic anyone at your level can reach — not the highest-scoring one, which is usually deep inside a discussion and a poor first click.
Ce qui a été enseigné
What each stretch was called — the session's own chapter heading where there is one, otherwise what the stretch teaches, derived from the recording. Ranked by how much of this topic sits under each, and naming what was taught alongside it rather than repeating the title of this page. Each one opens the recording where that thread starts, at the depth it needs to play.
- Web3 architecture: data, logic and application layers
- A primeira carteira
- Construção de Transações no Protocolo JED
- Proof Mechanisms Compared
- Smart contracts, UTXOs, datums and redeemers
- Intermediários de dados e autonomia
- Cardano Development Stack
- Foco Inicial em Empresas Americanas
- Marlowe e smart contracts
- Debate sobre Adoção e Sustentabilidade
- Tokens And NFTs Distinguished
- Smart contracts e Marlowe
12 further threads are in the per-call moment lists under Où cela a été enseigné.
Dans leurs mots
Verbatim from the transcripts, not paraphrased — a paraphrase of a recording is a claim about it, and this page does not make claims it cannot link to.
And this is what the validation script validates. Okay. Spending this UTXO out of the smart contract with this transaction, attaching to the transaction, or sending with the transaction proof that I am Lucas, which is the redeemer. The redeemer goes into the validation script that checks this logic
So when the smart contract receives. Well, when someone wants to spend and capture and redeem your souvenir UTXO and an nft, you would have to come and say, okay, I want to submit a transaction that has not necessarily metadata, it has redeemers. And there's like, if you wanted to spend all of these
É pedacinho de informação que eu anexei ao UTXO, à arte digital que depositei dentro do smart contract. Para gastar, ou seja, para eu conseguir. Tirar aquilo dali, tenho que compor uma. Transação que bata certo com este script de validação, que é para a arte digital ser libertada. Então, esta transa
Passar então aqui de rajada esta lista, esta lista que já vimos. Depois encontrei também na documentação desta Helios, é então a linguagem que o jogo de ontem de póker utiliza, por isso é que eles diziam que eram Helios Wallets. Eles têm aqui também seis exemplos de smart contracts escritos na lingu
Les mots qui le marquent
The terms that identified these moments, counted over the ones you can reach. Shown for the same reason the concept index shows them: a term-based index that hides its reasoning is indistinguishable from one that is wrong.
- contract20
- smart contract18
- marlowe10
- datum7
- código7
- utxo6
- contrato6
- code4
- redeemer4
- script4
- plutus4
- aiken2
- contrato inteligente1
- deploy1
Où cela a été enseigné
Each call, and every moment on this topic inside it — timestamp, the session's own heading, what was said, and the terms that matched. Open one to read the evidence; every timestamp opens the recording at the second it starts, with the depth already set so it plays.
Web3 Workshops Ch#4 EN Sess#5 5 moments
Open this recording from the start →
- 20:02 TLDR Proof Mechanisms Compared Pedro Lucas And this is what the validation script validates. Okay. Spending this UTXO out of the smart contract with this transaction, attaching to the transaction, or sending with the transaction proof that I am Lucas, which is the redeemer. The redeemer goes into the validation script that checks this logic code · contract · datum · redeemer · script · smart contract
- 1:20:21 TLDR Cardano Development Stack Pedro Lucas Well I can't talk much in detail about the gas fees and on all that, but I really thank you for bringing me Back to this again, because I had these three things here, Marlowe, TX3 and Akin. And actually only Aiken is a fully. Functional. Smart contract language, which in the end I can write here. Al aiken · code · contract · marlowe · plutus · smart contract
- 48:53 Concepts Tokens And NFTs Distinguished Pedro Lucas So this would be the seller of the NFT and this would be the JPEG Store. Or way up Smart contract, the NFT gets deposited in a utxo. And the reason I came back here was like, instead of saying, for Lucas, it says only sell for more than 100 ADA. Okay, this is not even as complicated as proving you a contract · smart contract · utxo
- 10:52 TLDR Participant Profiles Pedro Lucas Okay, it's really just because on a, let's say beta level, we don't talk about locking ada, we talk about you have a UTXO that's located, locked or that's in a smart contract. Okay. So yeah, I'm not sure if anyone has any questions. We went over like proof of work, proof of stake. We like to give pe contract · smart contract · utxo
- 1:12:35 TLDR Oracle Function Explained Pedro Lucas Oracles are basically entities that are sending data updates from the real world into the blockchain so that they may be queried by smart contracts. So looking at that diagram where I had the smart contract needs to know, if I don't know, they can release some funds for me and they, for example, if contract · smart contract
Workshops de Web3 Ch#5 PT Sess#5 4 moments
Open this recording from the start →
- 36:08 TLDR Intermediários de dados e autonomia Pedro Lucas É pedacinho de informação que eu anexei ao UTXO, à arte digital que depositei dentro do smart contract. Para gastar, ou seja, para eu conseguir. Tirar aquilo dali, tenho que compor uma. Transação que bata certo com este script de validação, que é para a arte digital ser libertada. Então, esta transa contract · contrato · código · marlowe · script · smart contract
- 57:55 TLDR Smart contracts e Marlowe Pedro Lucas Então, a pessoa que pagou ADA do lado esquerdo para a direita fez chegar o seu ADA à ponta da direita e a pessoa que forneceu dólar, o dollar provider, fez chegar o seu dólar, que é usado com este token de JED, ao lado esquerdo. O contrato garantiu que eles não tinham que confiar no outro porque pod contract · contrato · código · marlowe · script · smart contract
- 1:12:24 TLDR TX3 e abstração de programação Pedro Lucas Que lá está o tal Datum e o Redeemer, a cunhagem de tokens, que é o cunhar mais livro, alguma coisa do género, e eles pegam nestes factos básicos e querem que o programador, em vez de ter que pensar tão básico, possa pensar a nível bocadinho mais, como diz aqui, em vez de interagir diretamente com a datum · redeemer
- 27:36 TLDR Arquitetura Web3 Pedro Lucas O mercado dos colecionáveis não tem isto no seu bolso, está numa carteira cujas regras para ser movimentados eu conheço. Ontem eu não comecei bem por aqui, mas tenho que tomar nota de mostrar-vos. Aqui bocadinho a questão dos smart contracts. É algo que posso tentar passar por aí antes de lá chegar. contrato · contrato inteligente
Meet – [45B] Web3 Workshops Ch#2 Sess#27 4 moments
Open this recording from the start →
- 27:06 TLDR Smart contracts, UTXOs, datums and redeemers Pedro Lucas So when the smart contract receives. Well, when someone wants to spend and capture and redeem your souvenir UTXO and an nft, you would have to come and say, okay, I want to submit a transaction that has not necessarily metadata, it has redeemers. And there's like, if you wanted to spend all of these code · contract · datum · marlowe · redeemer · script
- 17:06 Concepts Web3 architecture: data, logic and application layers Pedro Lucas Seeing what money went from whom to whom and then the coins that are deposited in your wallet or when they are deposited in a smart contract, they can have a datum, which is what Tevo was talking about. Like I was saying, a datum is also a bit of data like, well, with those curly braces and that kin contract · datum · smart contract
- 21:48 Concepts Web3 architecture: data, logic and application layers Pedro Lucas But this is the only bit of logic that you can program and deploy in the blockchain and to control something. So like when you deposit something in a smart contract. We're going to talk about that in a moment. This is a bit of logic that you can program in the, in the blockchain. Another thing befor contract · deploy · smart contract
- 11:10 TLDR Web3 architecture: data, logic and application layers Pedro Lucas Yeah, metadata is basically these kinds of or JSON format data is this kind of thing, right? There's a number of examples here. Some are more structured. And so imagine you can put a bit of this or this, this little chunk of information, you could put it into a transaction. That's what we call metad contract · smart contract
Web3 Ch1 PT #11 — Dmitry Shibaev, BlockMargin 3 moments
Open this recording from the start →
- 1:00:30 TLDR Foco Inicial em Empresas Americanas (unidentified) Passar então aqui de rajada esta lista, esta lista que já vimos. Depois encontrei também na documentação desta Helios, é então a linguagem que o jogo de ontem de póker utiliza, por isso é que eles diziam que eram Helios Wallets. Eles têm aqui também seis exemplos de smart contracts escritos na lingu contract · contrato · código · marlowe · smart contract
- 20:39 TLDR Atualizações Técnicas dos Smart Contracts Cardano (unidentified) feita ao nível do smart contract, certo? Não, não. É só o nível da geração de transação. Ou seja, o smart contract é o mesmo, mas como a blockchain mudou, o custeamento daquela transação pode ter variado. Tu tens que saber quanto é que a transação vai custar. Portanto, a blockchain está pronta para contract · contrato · código · marlowe · smart contract
- 16:21 TLDR Recomendações e Introdução ao Cardano Beam (unidentified) mas os V1 não deixam de trabalhar e então ficámos com um bocadinho com a questão de o que é que terá qual é que será o contexto, seja do lado da Marlowe, seja do lado da tua aplicação, do backend que causa que hoje em dia tenhas optado por não atualizar tudo bem posso explicar isso em primeiro lugar marlowe
Web3 Ch1 PT #18 — Artifex+DJED 3 moments
Open this recording from the start →
- 51:25 TLDR Debate sobre Adoção e Sustentabilidade (unidentified) Isto são coisas que ainda estão a ser desenvolvidas. Sim, que eu reparei. Até foi o Tera que arranjou um link que é alojado pela Mesh. Exatamente. Eu já trabalho na Cardano há perto de três anos e ninguém sabe as dores que era desenvolver nesta blockchain. Eu estava cá há três anos, mas nunca fui co aiken · contract · código · datum · plutus · redeemer
- 30:01 TLDR Construção de Transações no Protocolo JED (unidentified) JED, ou seja, JED Ocean existe a aplicação de JED XYZ que interage diretamente com o protocolo, dar mint e burn ou então, pronto numa DEX normal, podemos trocar tokens por esses dois por esses dois ora bem aqui o maior problema JetXYZ, que é a aplicação da Coti principal interface com o protocolo te contract · código · smart contract
- 37:13 TLDR Construção de Transações no Protocolo JED (unidentified) os cálculos e usar o oracle deles e essas coisas todas aqui também temos um bocado de código isto aqui é usar uma library de construções de transações, neste caso é o lucid evolution existem várias em typescript mas aqui por exemplo só mencionar que aqui estamos a dar a referenciar Aqui três UTXOs i código · datum · utxo
Web3 Ch1 PT #13 3 moments
Open this recording from the start →
- 29:07 TLDR Perceber Contratos Inteligentes · A primeira carteira (unidentified) Lista de UTXOs. Está aqui. Portanto, quando eu estou na minha página inicial, ele diz-me que esta carteira tem 870 ADA. Isto é um total das moedinhas e das notinhas que eu tenho dentro da minha carteira. E, apesar de isto ter tudo muito digital, estas coisas, até como eu expliquei, que funcionam em contract · contrato · datum · marlowe · plutus · smart contract
- 1:07:01 TLDR Perceber Contratos Inteligentes · Web3 para todas as indústrias (unidentified) Aquilo que o Cardano Beam está a fazer é principalmente usar a blockchain para dizer que cada depósito de um token num certo local, ou seja, de um token começa a tornar-se uma palavra muito repetitiva, não é? Portanto, cada objetivo a alcançar que está numa coordenada GPS é que está trancado num sma contract · smart contract
- 35:26 TLDR Perceber Contratos Inteligentes · A primeira carteira (unidentified) Portanto, essa é das principais razões, mas que só diz respeito a quem faz quase trading e precisa de fazer muitas coisas. Depois, a nível de eficiência da rede e tudo mais, também podem haver discrepâncias em eu ter um... Por exemplo, imagine que eu tenho um UTXO como este, que tem aqui estes token contract · smart contract · utxo
Web3 Ch1 PT #16 — Nuno Luz, APBC 1 moment
Open this recording from the start →
- 44:54 TLDR Marlowe e smart contracts (unidentified) Tens razão que, realmente, ainda não chegámos a correr isto. Estou a aguardar aqui a resposta da equipa de o Marlowe estar mais a funcionar na parte do runner. referi aqui algumas coisas mas estas partes acabam de ser mais técnicas e o principal do smart contract é um bocado perceber o que consegues contract · marlowe · smart contract
Web3 Workshops Ch#4 EN Sess#4 2 moments
Open this recording from the start →
- 46:54 TLDR Blocks, blockchain, nodes, and stake pools Pedro Lucas Okay. What I was realizing is that we're going through this chain of concepts between a wallet and transactions and etc. But we didn't really classify what are these balances. So ADA is this. It's like I usually say, it's digital territory on Cardano. Let's maybe add it here. Digital territory on Ca utxo
- 1:14:22 Discussion Cardano governance and network parameters Pedro Lucas For me, I think it was a good introduction both to the concepts and to the working of the blockchain leading into the politics and everything. One thing as well, visualization that is interesting. When I was introducing the concept of a utxo, so like a piece of ADA that's in my possession after. Aft utxo
Web3 Workshops Ch#4 EN Sess#1 1 moment
Open this recording from the start →
- 1:15:35 Discussion Cohorts, Languages and Follow-up Pedro Lucas The English and the Portuguese code. Yeah, you can like what, what I've shown to a lot of you in the onboarding calls. Remember there was a calendar and like when you start overlapping the. The two cohorts in Portuguese and English and the multiling cohort and all that, there's a lot of calls that y code · contract · lock · smart contract
Web3 Workshops Ch#4 EN Sess#3 1 moment
Open this recording from the start →
- 1:10:57 Session Cardano applications and use cases Pedro Lucas And you have here a number of five games at least. So Infinity Rising is a very well known one. Sterea I think is more for developers. Plutus quiz. I don't know what it is. It rhymes. Okay, so maybe I'll drop this link on the board and invite you to have a quick look at this. Infinity Rising for exa plutus
Workshops de Web3 Ch#5 PT Sess#2 1 moment
Open this recording from the start →
- 1:29:29 TLDR Recursos, carteiras adicionais e acompanhamento Pedro Lucas O que eu ia dizer era, mais para a frente, nas sessões, eu vou-vos mostrar então este género de coisas, que é bocado a arquitetura das soluções blockchain, mas também vos vou mostrar este género de coisas. Isto é literalmente o que se usa para os miúdos programarem robozinhos que dás três passos, vi marlowe
A “moment” is a run of the transcript where the topic was being taught, not every time a word was said in passing. Matching is term-based and every match keeps the term that fired it, so this page is auditable rather than magic. It is assembled when you ask for it, from the calls you may see at the depth you may read.