diff --git a/content/risc-zero/zypher-buildathon/img/r0_planet.svg b/content/risc-zero/zypher-buildathon/img/r0_planet.svg
new file mode 100644
index 0000000..d9e2e0f
--- /dev/null
+++ b/content/risc-zero/zypher-buildathon/img/r0_planet.svg
@@ -0,0 +1,1266 @@
+
\ No newline at end of file
diff --git a/content/risc-zero/zypher-buildathon/slides.md b/content/risc-zero/zypher-buildathon/slides.md
index 00da9f4..6ed6f4f 100644
--- a/content/risc-zero/zypher-buildathon/slides.md
+++ b/content/risc-zero/zypher-buildathon/slides.md
@@ -12,8 +12,8 @@ separator: "\r?\n---\r?\n"
verticalSeparator: "\r?\n---v\r?\n"
# Below can be any of these: https://revealjs.com/config/
revealOptions:
- transition: "slide" # animation between slides = none/fade/slide/convex/concave/zoom
- backgroundTransition: "fade" # background swap between slides = none/fade/slide/convex/concave/zoom
+ transition: "convex" # animation between slides = none/fade/slide/convex/concave/zoom
+ backgroundTransition: "none" # background swap between slides = none/fade/slide/convex/concave/zoom
slideNumber: true
controls: true
progress: true
@@ -21,13 +21,23 @@ revealOptions:
+
+
+
+
# Verifiable Games
-#### _Using RISC Zero_
+ Using RISC Zero
-
+
-**_On-chain_ $~~~$ $ 👉 ZK 👈 $ $~~~$ _Off-chain_**
+**_On-chain_ $~~~$ 👉 $ZK$ 👈 $~~~$ _Off-chain_**
Workshop Materials ↗️
diff --git a/tools/styles/base-theme.css b/tools/styles/base-theme.css
index fbecfb6..5460be7 100644
--- a/tools/styles/base-theme.css
+++ b/tools/styles/base-theme.css
@@ -9,25 +9,25 @@
*********************************************/
:root {
- --r-main-font-size: 35px;
- --r-main-font: 'Work Sans';
+ --r-main-font-size: 27px;
+ --r-main-font: 'JetBrains Mono';
--r-main-color: #ffffff;
--r-background-color: #000000;
--r-code-background-color: #434343;
--r-block-margin: 0em 30px 15px 30px;
--r-heading-margin: 0em 0em 20px 0em;
- --r-heading-font: 'Unbounded';
- --r-heading-color: #3f9dbf;
+ --r-heading-font: 'EuropaGroteskSH';
+ --r-heading-color: #fbff96;
--r-heading-line-height: 1.5em;
--r-heading-letter-spacing: 0.02em;
--r-heading-text-transform: none;
--r-heading-text-shadow: none;
--r-heading-font-weight: normal;
--r-heading1-text-shadow: none;
- --r-heading1-size: 2em;
- --r-heading2-size: 1.35em;
- --r-heading3-size: 1.25em;
- --r-heading4-size: 1.15em;
+ --r-heading1-size: 3em;
+ --r-heading2-size: 2em;
+ --r-heading3-size: 1.7em;
+ --r-heading4-size: 1.5em;
--r-code-font: monospace;
/* custom var */
--r-code-font-size: 0.75em;
@@ -121,6 +121,9 @@ section.has-light-background h6 {
.logo {
position: fixed;
font-size: 30px;
+ color: var(--r-link-color);
+ text-decoration: underline dotted;
+ text-underline-offset: 0.22em;
bottom: 0;
z-index: 99;
align-items: center;
@@ -369,6 +372,9 @@ nuke-flex[right] {
/* Remove default bullets/numbers on lists */
list-style: none !important;
padding-left: 2em;
+ /* center list https://www.w3schools.com/howto/howto_css_center-list.asp */
+ display: inline-block;
+ text-align: left;
}
.reveal ol > li {
@@ -519,11 +525,7 @@ nuke-flex[right] {
/* default elements, used in slide temple */
.reveal a {
color: var(--r-link-color);
- text-decoration: underline dotted;
- text-decoration-color: var(--r-link-color-decoration);
- text-underline-offset: 0.25em;
transition: color 0.15s ease;
- font-weight: bolder;
}
.reveal a:hover {
@@ -582,81 +584,24 @@ nuke-flex[right] {
/*********************************************
* FONTS
*********************************************/
-/* font: unbounded https://unbounded.polkadot.network/ */
-@font-face {
- font-family: 'Unbounded';
- font-style: normal;
- font-weight: 300;
- src: url('./fonts/unbounded/Unbounded-Light.woff2');
- src: local(''), url('./fonts/unbounded/Unbounded-Light.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/unbounded/Unbounded-Light.ttf') format('truetype'); /* Safari, Android, iOS */
-}
-
-@font-face {
- font-family: 'Unbounded';
- font-style: normal;
- font-weight: 400;
- src: url('./fonts/unbounded/Unbounded-Regular.woff2');
- src: local(''), url('./fonts/unbounded/Unbounded-Regular.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/unbounded/Unbounded-Regular.ttf') format('truetype'); /* Safari, Android, iOS */
-}
-
-@font-face {
- font-family: 'Unbounded';
- font-style: normal;
- font-weight: 700;
- src: url('./fonts/unbounded/Unbounded-Bold.woff2');
- src: local(''), url('./fonts/unbounded/Unbounded-Bold.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/unbounded/Unbounded-Bold.ttf') format('truetype'); /* Safari, Android, iOS */
-}
-/* fonts: work-sans-regular - latin https://google-webfonts-helper.herokuapp.com/fonts/work-sans/work-sans?subsets=latin */
+/* font: Europa Grotesk https://eng.m.fontke.com/font/81724691/download/ */
@font-face {
- font-family: 'Work Sans';
+ font-family: 'EuropaGroteskSH';
font-style: normal;
- font-weight: 400;
- src: local(''), url('./fonts/work-sans/work-sans-v17-latin-regular.eot?#iefix') format('embedded-opentype'),
- /* IE6-IE8 */ url('./fonts/work-sans/work-sans-v17-latin-regular.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-regular.woff') format('woff'),
- /* Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-regular.ttf') format('truetype'),
- /* Safari, Android, iOS */ url('./fonts/work-sans/work-sans-v17-latin-regular.svg#WorkSans') format('svg'); /* Legacy iOS */
+ src: url('./fonts/EuropaGroteskSH-Reg.otf') format('opentype');
}
-/* work-sans-800 - latin */
+/* fonts: jetbrains mono https://fonts.google.com/specimen/JetBrains+Mono */
@font-face {
- font-family: 'Work Sans';
+ font-family: 'JetBrains Mono';
font-style: normal;
- font-weight: 800;
- src: url('./fonts/work-sans/work-sans-v17-latin-800.eot'); /* IE9 Compat Modes */
- src: local(''), url('./fonts/work-sans/work-sans-v17-latin-800.eot?#iefix') format('embedded-opentype'),
- /* IE6-IE8 */ url('./fonts/work-sans/work-sans-v17-latin-800.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-800.woff') format('woff'),
- /* Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-800.ttf') format('truetype'),
- /* Safari, Android, iOS */ url('./fonts/work-sans/work-sans-v17-latin-800.svg#WorkSans') format('svg'); /* Legacy iOS */
-}
-
-/* work-sans-italic - latin */
-@font-face {
- font-family: 'Work Sans';
- font-style: italic;
- font-weight: 400;
- src: url('./fonts/work-sans/work-sans-v17-latin-italic.eot'); /* IE9 Compat Modes */
- src: local(''), url('./fonts/work-sans/work-sans-v17-latin-italic.eot?#iefix') format('embedded-opentype'),
- /* IE6-IE8 */ url('./fonts/work-sans/work-sans-v17-latin-italic.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-italic.woff') format('woff'),
- /* Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-italic.ttf') format('truetype'),
- /* Safari, Android, iOS */ url('./fonts/work-sans/work-sans-v17-latin-italic.svg#WorkSans') format('svg'); /* Legacy iOS */
+ src: url('./fonts/jetbrains-mono/JetBrainsMono-VariableFont_wght.ttf') format('truetype');
}
-/* work-sans-800italic - latin */
+/* fonts: jetbrains mono italic */
@font-face {
- font-family: 'Work Sans';
+ font-family: 'JetBrains Mono';
font-style: italic;
- font-weight: 800;
- src: url('./fonts/work-sans/work-sans-v17-latin-800italic.eot'); /* IE9 Compat Modes */
- src: local(''), url('./fonts/work-sans/work-sans-v17-latin-800italic.eot?#iefix') format('embedded-opentype'),
- /* IE6-IE8 */ url('./fonts/work-sans/work-sans-v17-latin-800italic.woff2') format('woff2'),
- /* Super Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-800italic.woff') format('woff'),
- /* Modern Browsers */ url('./fonts/work-sans/work-sans-v17-latin-800italic.ttf') format('truetype'),
- /* Safari, Android, iOS */ url('./fonts/work-sans/work-sans-v17-latin-800italic.svg#WorkSans') format('svg'); /* Legacy iOS */
+ src: url('./fonts/jetbrains-mono/JetBrainsMono-Italic-VariableFont_wght.ttf') format('truetype');
}
diff --git a/tools/styles/fonts/EuropaGroteskSH-Reg.otf b/tools/styles/fonts/EuropaGroteskSH-Reg.otf
new file mode 100644
index 0000000..9d6de4a
Binary files /dev/null and b/tools/styles/fonts/EuropaGroteskSH-Reg.otf differ
diff --git a/tools/styles/fonts/jetbrains-mono/JetBrainsMono-Italic-VariableFont_wght.ttf b/tools/styles/fonts/jetbrains-mono/JetBrainsMono-Italic-VariableFont_wght.ttf
new file mode 100644
index 0000000..914e323
Binary files /dev/null and b/tools/styles/fonts/jetbrains-mono/JetBrainsMono-Italic-VariableFont_wght.ttf differ
diff --git a/tools/styles/fonts/jetbrains-mono/JetBrainsMono-VariableFont_wght.ttf b/tools/styles/fonts/jetbrains-mono/JetBrainsMono-VariableFont_wght.ttf
new file mode 100644
index 0000000..d73994a
Binary files /dev/null and b/tools/styles/fonts/jetbrains-mono/JetBrainsMono-VariableFont_wght.ttf differ
diff --git a/tools/styles/fonts/unbounded/Unbounded-Bold.ttf b/tools/styles/fonts/unbounded/Unbounded-Bold.ttf
deleted file mode 100644
index f872248..0000000
Binary files a/tools/styles/fonts/unbounded/Unbounded-Bold.ttf and /dev/null differ
diff --git a/tools/styles/fonts/unbounded/Unbounded-Bold.woff2 b/tools/styles/fonts/unbounded/Unbounded-Bold.woff2
deleted file mode 100644
index add77ee..0000000
Binary files a/tools/styles/fonts/unbounded/Unbounded-Bold.woff2 and /dev/null differ
diff --git a/tools/styles/fonts/unbounded/Unbounded-Light.ttf b/tools/styles/fonts/unbounded/Unbounded-Light.ttf
deleted file mode 100644
index 10350df..0000000
Binary files a/tools/styles/fonts/unbounded/Unbounded-Light.ttf and /dev/null differ
diff --git a/tools/styles/fonts/unbounded/Unbounded-Light.woff2 b/tools/styles/fonts/unbounded/Unbounded-Light.woff2
deleted file mode 100644
index f998903..0000000
Binary files a/tools/styles/fonts/unbounded/Unbounded-Light.woff2 and /dev/null differ
diff --git a/tools/styles/fonts/unbounded/Unbounded-Regular.ttf b/tools/styles/fonts/unbounded/Unbounded-Regular.ttf
deleted file mode 100644
index 14a7d8a..0000000
Binary files a/tools/styles/fonts/unbounded/Unbounded-Regular.ttf and /dev/null differ
diff --git a/tools/styles/fonts/unbounded/Unbounded-Regular.woff2 b/tools/styles/fonts/unbounded/Unbounded-Regular.woff2
deleted file mode 100644
index 5db9542..0000000
Binary files a/tools/styles/fonts/unbounded/Unbounded-Regular.woff2 and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.eot b/tools/styles/fonts/work-sans/work-sans-v17-latin-800.eot
deleted file mode 100644
index 9818669..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.eot and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.svg b/tools/styles/fonts/work-sans/work-sans-v17-latin-800.svg
deleted file mode 100644
index d1d4b62..0000000
--- a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.svg
+++ /dev/null
@@ -1,336 +0,0 @@
-
-
-
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.ttf b/tools/styles/fonts/work-sans/work-sans-v17-latin-800.ttf
deleted file mode 100644
index d3129c8..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.ttf and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.woff b/tools/styles/fonts/work-sans/work-sans-v17-latin-800.woff
deleted file mode 100644
index 0c4f0e6..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.woff and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.woff2 b/tools/styles/fonts/work-sans/work-sans-v17-latin-800.woff2
deleted file mode 100644
index 102dbf5..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800.woff2 and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.eot b/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.eot
deleted file mode 100644
index 2e20d60..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.eot and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.svg b/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.svg
deleted file mode 100644
index 0a263ba..0000000
--- a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.svg
+++ /dev/null
@@ -1,334 +0,0 @@
-
-
-
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.ttf b/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.ttf
deleted file mode 100644
index 7fbd81d..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.ttf and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.woff b/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.woff
deleted file mode 100644
index 489c1d3..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.woff and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.woff2 b/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.woff2
deleted file mode 100644
index 7e84f74..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-800italic.woff2 and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.eot b/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.eot
deleted file mode 100644
index 792af98..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.eot and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.svg b/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.svg
deleted file mode 100644
index 0f99162..0000000
--- a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.svg
+++ /dev/null
@@ -1,334 +0,0 @@
-
-
-
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.ttf b/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.ttf
deleted file mode 100644
index cac0ffc..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.ttf and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.woff b/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.woff
deleted file mode 100644
index bb9178a..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.woff and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.woff2 b/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.woff2
deleted file mode 100644
index 63e3887..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-italic.woff2 and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.eot b/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.eot
deleted file mode 100644
index 7558279..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.eot and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.svg b/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.svg
deleted file mode 100644
index 49d02b6..0000000
--- a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.svg
+++ /dev/null
@@ -1,333 +0,0 @@
-
-
-
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.ttf b/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.ttf
deleted file mode 100644
index ee50261..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.ttf and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.woff b/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.woff
deleted file mode 100644
index 7530a37..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.woff and /dev/null differ
diff --git a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.woff2 b/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.woff2
deleted file mode 100644
index f7d73c7..0000000
Binary files a/tools/styles/fonts/work-sans/work-sans-v17-latin-regular.woff2 and /dev/null differ
diff --git a/tools/styles/r0-theme.css b/tools/styles/r0-theme.css
index 3cc9fda..35cb660 100644
--- a/tools/styles/r0-theme.css
+++ b/tools/styles/r0-theme.css
@@ -11,7 +11,7 @@
*********************************************/
:root {
- --r-heading-font: 'Unbounded';
+ --r-heading-font: 'EuropaGroteskSH';
--r-heading-color: #fbff96;
/* custom var */
--r-link-color: #cdd06f;