Merge pull request #26 from dipdup-io/v3

Stone v3
dipdup-io · Sep 26, 2024 · 407e241 · 407e241
2 parents dcda59b + 601ce16
commit 407e241
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 278 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -37,6 +37,7 @@ RUN cairo-run \
     --air_private_input=fibonacci_private_input.json \
     --trace_file=fibonacci_trace.json \
     --memory_file=fibonacci_memory.json \
+    --min_steps=512 \
     --print_output \
     --proof_mode
 

diff --git a/air_prover/Dockerfile b/air_prover/Dockerfile
@@ -37,6 +37,7 @@ RUN cairo-run \
     --air_private_input=fibonacci_private_input.json \
     --trace_file=fibonacci_trace.json \
     --memory_file=fibonacci_memory.json \
+    --min_steps=512 \
     --print_output \
     --proof_mode
 

diff --git a/air_verifier/Dockerfile b/air_verifier/Dockerfile
@@ -3,6 +3,7 @@ FROM ubuntu:22.04 AS build
 
 RUN apt-get update && apt-get install -y git
 
+#Don't forget to remove the --branch after merging
 RUN git clone https://github.com/baking-bad/stone-prover.git /app
 
 WORKDIR /app
@@ -37,6 +38,7 @@ RUN cairo-run \
     --air_private_input=fibonacci_private_input.json \
     --trace_file=fibonacci_trace.json \
     --memory_file=fibonacci_memory.json \
+    --min_steps=512 \
     --print_output \
     --proof_mode
 

diff --git a/test_files/fibonacci_proof.json b/test_files/fibonacci_proof.json