Add datasheet

risc0 · Apr 29, 2024 · b5bf0e1 · b5bf0e1
1 parent 02fad7a
commit b5bf0e1
Show file tree

Hide file tree

Showing 3 changed files with 501 additions and 11 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/risc0/zkvm/Cargo.toml b/risc0/zkvm/Cargo.toml
@@ -16,6 +16,10 @@ required-features = ["prove"]
 name = "guest_run"
 harness = false
 
+[[example]]
+name = "datasheet"
+required-features = ["prove"]
+
 [[example]]
 name = "fib"
 required-features = ["prove"]
@@ -88,10 +92,14 @@ tracing-forest = "0.1"
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }
 
 [target.'cfg(not(target_os = "zkvm"))'.dev-dependencies]
+enum-iterator = "2.0"
 flate2 = "1.0"
+human-repr = { version = "1.0", features = ["1024"] }
 risc0-zkvm-methods = { path = "methods" }
 serde_json = "1.0"
+serde_with = "3.8"
 serial_test = "3.0"
+tabled = "0.15"
 tar = "0.4"
 tempfile = "3"
 test-log = { version = "0.2", default-features = false, features = ["trace"] }