update

Author: zliu41

.gitignore

@@ -120,4 +120,5 @@ TestCert.*
 **/_site/**/**
 **/.jekyll-metadata
 **/.jekyll-cache
+**/.bundle/**
 worktrees

uplc2025/_talks/riscv.md

@@ -1,9 +1,9 @@
 ---
 name: Compiling UPLC to RISC-V
 speakers:
-  - Kasey White
   - Riley Kilgore
+  - Kasey White
 categories:
   - Workshop
-  - Remote
 ---
+By leveraging a RISC-V implementation of the CEK machine and a new serialization format, we are able to compile Untyped Plutus Core (UPLC) scripts into executable RISC-V binaries. This pipeline enables efficient execution of Cardano-style smart contracts on Bitcoin via technologies like BitVMX, where the CEK evaluator is ahead-of-time compiled to RISC-V. We discuss the design choices, implementation challenges, and potential for cross-chain interoperability.