From 9374e13744e427079fb4c8a98691fd45b7686e6c Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Fri, 10 Jan 2025 10:35:27 +0200
Subject: feat(flake): Add nix package for benchmarking risc0

---
 zkvms/risc0/Justfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 zkvms/risc0/Justfile

(limited to 'zkvms/risc0/Justfile')

diff --git a/zkvms/risc0/Justfile b/zkvms/risc0/Justfile
new file mode 100644
index 0000000..9cd78fe
--- /dev/null
+++ b/zkvms/risc0/Justfile
@@ -0,0 +1,12 @@
+execute: build-guest
+    time cargo run --bin host-risc0 --release -- execute
+
+prove: build-guest
+    time cargo run --bin host-risc0 --release -- prove
+
+verify: build-guest
+    time cargo run --bin host-risc0 --release -- verify
+
+build-guest:
+    cd guest && \
+    cargo build --release --target riscv32im-risc0-zkvm-elf
-- 
cgit v1.2.3