Not Circuits π_ + +Notes: + +### Story time! + +Started in self-sovereign tech rabbit whole 2018 ETHDenver. +Mesh networks, local first, DAOs and co-ops, token engineering... +Then I found out about ZKPs and what they can do to fundamentally change the game and enable things that were impossible before. +As an fanboi of the ZK Podcast for years, I wanted so much to get in... but there was a problem: learning curve on cryptography. +I want to build cryptographic systems, but not need to deeply understand the moon math... +Enter zkVMs: RISC Zero. +Now we can all make ZKPs with only a strong conceptual grasp of constraint systems and Rust (more languages to come!) + +--- + +## Why RISC Zero? + +- **Verifiable Computation**: outsource-able +- **Highly Scalable**: low-cost verification +- **Tunable Privacy**: robust & universal\* + +Notes: + +- you can verify that a computation of a specific program ran exactly as it should, even if done by untrusted executor! +- _Prover_ that runs program & produces _receipt_ reveals as little as nothing to everything about execution to _verifier_. +- Verification is significantly cheaper than running computation yourself... at the cost of prover doing significantly more work to run the _zkVM_ +- \* Privacy is from everyone outside the prover, if you are the prover, no one but you has secret data. + +--- + +## What key web3 problems can ZK address? + +
+
+> Read Getting Started and/or watch the playlist.
+
+Notes:
+
+- deeper understanding as exercise for views of this presentation.
+- very happy to answer questions on our discord!
+
+---
+
+## RISC Zero On-chain
+
+
+
+> Read about Blockchain Integration and watch the Foundry Template playlist.
+
+---
+
+# β¨ Inspiration
+
+##### β οΈ -- Do not copy π -- π
+
+Notes:
+
+Plagiarism, missing attribution and violating licenses will disqualify you!
+Building on them to something significantly enhancements _**may**_ be considered - please let us know what you are planning :grin:
+
+---
+
+## zkSnake (R0 v0.20)
+
+
+
+#### zkSnake Source βοΈ
+
+Notes:
+
+- Winner of RISC Zero Coprocessor Bounty at ETHDenver 2024 and did well in community quadratic voting too!
+- Idea: take it further and make a bevy app in wasm w/ webGPU with **shared core logic identical on web & "re-player" zkVM**
+
+---
+
+
+
+Notes:
+
+Want to build even more complicated or otherwise impossible contract logic?
+Enter Steel - view call library.
+
+---
+
+# π· Signing and Steeling Workshop
+
+
+
+**Join in following the [Hands-on instructions βοΈ](./workshop.md)**
+
+---
+
+## π What is special about RISC Zero? (1)
+
+- Developer productivity (@ hackathons & beyond)
+ Top 1000 crates.io tested nightly, +
benchmarks and more: reports.risczero.com +- Hard in zkDSL, easy in zkVM: +
Loops & branching +
Design π‘Ί Implementation π‘Ί Auditing + +Notes: + +- Lots of ZKP options, why use R0? + - zkDSL _could_ be more performant, but time to market is very high, small set of humans can implement them at all. + - Why use us over other zkVMs? + First, arguably best devex, v1.0 release stability and prover performance milestones! + +--- + +## π What is special about RISC Zero? (2) + +- Proof continuation +
Unbounded guest programs +- Proof composition +
"Proof-ception" +
Hybrid Client side {π΅οΈprivacy} & server {π¦Ύpower} +- Execution _separate_ from proof generation + +Notes: + +- Proof-ception = efficient verification of proofs within a guest. + - Privacy for small client side proofs and the bulk of proof computational overhead outsourced to an untrusted prover. + - Reuse of existing proofs included in new proof using their journal + - Batching/compression of many proofs + - Proof transposition for compatibility of specific verifiers. +- Execution is near zero overhead, proving is high overhead. + - Realtime exec & prove in parallel / after / remote is possible +- What killer features does R0 provide? + +--- + +## π What is special about RISC Zero? (3) + +### βοΈ EVM Support + +- RISC Zero Foundry template +
Write unbounded programs that are low cost to verify on any EVM chain +- Ethereum contracts, proof systems, and more +
View call proofs with **Steel** +
ZK Rollups & RollApps +
... Help us define more! + +Notes: + +- Zeth _could_ run existing solidity games off chain, optionally unbounded computation per block (gasless). [Zeth deep dive](https://www.youtube.com/watch?v=4pBmf839eOA) +- mention: 256 view call limit - could you do inclusion proof checkpoints? contract state is simply recursive proof of minimal thing needed (maybe block header / hash?) updated by anyone to use for deep archival view calls? prove "this state was in block X that is a child of recent block {younger than 256}" + +--- + +## π€Ώ Before you dive deep... + +- You _must_ match versions of `cargo risczero` and your Cargo.toml deps +
Some examples / templates may not be the version you need! +
Bonsai (proving service) is 0.21, updating mid-July 2024 to 1.0 +- Keep guest minimal - extra cycles are _**expensive**_ +
...But this is a hackathon, don't stress too much! +- When experimenting, always use `DEV_MODE`! +
Execution _only_ with mocked proving (fast!) +- Bonsai API key priority & support +
Apply: bonsai.xyz/ +- π§ You are designing a cryptographic system, not just a game! +- Discord `#π»|support-forum` channel for help +
Join: discord.gg/risczero + +--- + +# Further Reading & Resources + +
+
+## [r0.link/ethcc](https://r0.link/ethcc)
diff --git a/content/risc-zero/lambdaclass-ethcc-brussels/workshop.md b/content/risc-zero/lambdaclass-ethcc-brussels/workshop.md
new file mode 100644
index 0000000..a89fb21
--- /dev/null
+++ b/content/risc-zero/lambdaclass-ethcc-brussels/workshop.md
@@ -0,0 +1,33 @@
+## ZK ERC20 Balance of ECDSA Verified Account (R0 v1.0)
+
+### _Signing and Steeling_
+
+Let's experiment with the powers provided by the [Steel library](https://github.com/risc0/risc0-ethereum/tree/main/steel) by taking the ERC20 example and extending it.
+The base example only proves that some address holds a balance, with the essential proof being "Some address holds over 1 token at some ERC20 contract at the most recent block"
+That isn't a particularly useful statement... let's constrain the proof a bit more to assert that the prover also holds the key to the account in question.
+
+> NOTE: The address and contract are optionally hidden to the verifier, so we can know the prover has a balance, but not DOX them!
+
+1. Watch this playlist to learn the basics of RISC Zero.
+1. Use `rzup` to setup your development environment based on the **correct version of the RISC Zero Getting Started Docs** for you.
+ ```sh
+ # Get rzup
+ curl -L https://risczero.com/install | bash
+ # Follow command instructions to use rzup
+ # ... This will take a while first time!
+ ```
+1. TODO workshop repo will be up soonβ’οΈ
+
+## π Key Takeaways
+
+- Use crates in the zkVM without modification - no need to rewrite in circuits or zkDSL!
+- Use standard patterns like `println!` & `fmt!` normally for basic experiments and debugging in `DEV_MODE`.
+- 10s on lines of code overall -> useful proof, easily extensible!
+- There is still many risks of creating privacy and security faults via bugs and all the normal ways cryptographic systems can break down...
+ _**With zkVMs you are abstracting the math/circuits of zk... NOT the robust design and audits required to harden your system!**_
+
+## π€ Taking it Further
+
+Here are some ideas to keep extending this example to learn more:
+
+- Soonβ’οΈ
diff --git a/content/risc-zero/zypher-buildathon/materials.md b/content/risc-zero/zypher-buildathon/materials.md
index 5354814..2a0bcba 100644
--- a/content/risc-zero/zypher-buildathon/materials.md
+++ b/content/risc-zero/zypher-buildathon/materials.md
@@ -2,7 +2,7 @@
## π Event Specific Info
-- Dora Hacks Event Page (APPLY HERE)
+- DoraHacks Event Page (APPLY HERE)
- Event & RISC Zero Track Info
- Zypher Homepage
- RISC Zero [πͺ§ Presentation (Video & Sides)](./presentation.md)
diff --git a/content/risc-zero/zypher-buildathon/slides.md b/content/risc-zero/zypher-buildathon/slides.md
index ff7bb6c..f782674 100644
--- a/content/risc-zero/zypher-buildathon/slides.md
+++ b/content/risc-zero/zypher-buildathon/slides.md
@@ -1,6 +1,6 @@
---
title: Verifiable Games Using RISC Zero
-tags: RISC Zero, Talk, Presentation, Workshop, zkVM, zkGames, Zypher, Hackathon, Buildathon, Zero Knowledge Proof, Applied Cryptography, Rust, Zypher
+tags: RISC Zero, Talk, Presentation, Workshop, zkVM, zkGames, Hackathon, Buildathon, Zero Knowledge Proof, Applied Cryptography, Rust, Zypher
duration: 60 minuets
description: RISC Zero Workshop for the Zypher Provable Games Buildathon - June 2024
date: 2024-06-01
@@ -27,6 +27,8 @@ revealOptions:
+
+
**_On-chain_ $~~~$ π $ZK$ π $~~~$ _Off-chain_**
Event Materials βοΈ
@@ -247,7 +249,7 @@ Notes:
- RISC Zero Foundry template
Write unbounded programs that are low cost to verify on any EVM chain - Ethereum contracts, proof systems, and more -
View call proofs with **Steel** +
View call proofs with **STEEL**
ZK Rollups & RollApps
... Help us define more!