Talks
Talk
-
Atomic Multi-Chain Ops: Consistent cross chain transaction execution
-
Remote
-
-
-
-
A Layered Certifying Compiler Architecture
-
From Jai to UPLC: An Unlikely Toolchain
-
-
JIT-compiling Plutus on the JVM – the fastest UPLC evaluator on the planet
-
-
Keynote
-
Keynote
-
Remote
-
Efficient and fun UPLC with Plutarch
-
Automating Formal Verification of Smart Contracts
Keynote
-
Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano
-
Importance of educating devs - common pitfalls of Cardano development when interacting with UPLC
-