Chinese Recording: https://youtu.be/lFUYsULyUNY?si=ey9nUH_BjIFfYGN4

If you want English recording, please reply it and let me know on X

https://x.com/backdoor705/status/1868688343552368816

Why zkVM?

zkVM VS specialized circuits

✅ Develop zk app without learning zk

✅ Exploit existing compiler infra and tooling

✅ A single circuit can run all programs up to a certain time bound

❌ Much larger Circuit

❌ Any bug in the compiler can render the system insecure

How VM/CPU works?

• Repeatedly execute the fetch-decode-execute logic
• Perform reads and writes to Random Access Memory (RAM)

<aside> 💡

Watch and understand the animation in RISC-V Simulator

</aside>

How does Jolt zkVM prove VM execution?

https://excalidraw.com/#json=o6Sc1hlZSN0ZlGQS9aeob,XQusaS02jGZRzzDN0aRAug

Example: Fibonacci

Note: Jolt code tested on 2024.06, some of them maybe outdated

1. Rust developer only needs to write this program