2
votes
Accepted
How To Verify The Code Of A SmartContract?
You compile the code yourself to see if the address you arrive at aligns with what's live.
1
vote
How to generate a verifiable Proof-of-Burn address
I think that the address you generate is plausibly unspendable but not provably. I can imagine that by tweaking a Plutus validator script with a lot of time and computing power you could generate a ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
verification × 3plutus × 1
smart-contract × 1
cardano-node × 1
terminology × 1
burn × 1
on-chain × 1
formal-verification × 1
validation × 1