Skip to content

Refactor for zkvm (phase 1) #1651

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 26 commits into from
Closed

Refactor for zkvm (phase 1) #1651

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
318c46e
induce workspace
noel2004 Apr 27, 2025
69ff09a
add types-rs
noel2004 May 6, 2025
66b1095
fmt
noel2004 May 6, 2025
8ed77bd
update zkvm-prover dep
noel2004 May 6, 2025
a6d49b2
update proving-sdk dep
noel2004 May 7, 2025
0360cd2
update alloy deps
noel2004 May 8, 2025
0c4c410
refine deps in zkvm-prover
noel2004 May 8, 2025
932be72
zkvm-prover: separate bin and lib
noel2004 May 8, 2025
a300fa2
separate prover bin
noel2004 May 10, 2025
c0f773c
Merge remote-tracking branch 'origin/develop' into refactor/zkvm
noel2004 May 12, 2025
15c872d
+ update openvm
noel2004 May 12, 2025
85f3cc3
re-export base crate in circuit
noel2004 May 12, 2025
bff0e6f
Merge remote-tracking branch 'origin/develop' into refactor/zkvm
noel2004 May 13, 2025
9801992
re-export agg traits
noel2004 May 13, 2025
d4f1e7d
move out types-circuit
noel2004 May 14, 2025
591a833
update dep
noel2004 May 14, 2025
bcd48b8
zkvm-prover immigrates here
noel2004 May 15, 2025
d0869d4
add integration
noel2004 May 15, 2025
9b10ad8
add build scripts
noel2004 May 16, 2025
1135291
update paths
noel2004 May 16, 2025
9c5c29e
trivial: exclude some crates from workspace, move dockerignore
noel2004 May 16, 2025
a8a0a81
Merge remote-tracking branch 'origin/develop' into refactor/zkvm
noel2004 May 17, 2025
904b97b
apply prehandler instead of proving-sdk
noel2004 May 18, 2025
4b91057
move config sample file
noel2004 May 18, 2025
14f355b
integrage libzkp into workspace
noel2004 May 18, 2025
1464d10
fix lint issue
noel2004 May 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions .dockerignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
.github

.gitignore

.dockerignore

Dockerfile
Dockerfile.backup
Comment on lines +7 to +8
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Potential issue

Critical: Dockerfile pattern will exclude your Dockerfiles
The entries Dockerfile and Dockerfile.backup match any file named “Dockerfile” in the context (not just backups), causing the actual Dockerfiles to be ignored and the build to fail. Please remove or narrow the Dockerfile pattern—for example, only ignore Dockerfile.backup or explicitly re-include the needed Dockerfile via a negation rule.

🤖 Prompt for AI Agents 
In the .dockerignore file at lines 7 to 8, the pattern "Dockerfile" is excluding
all Dockerfiles from the build context, causing build failures. Remove the
generic "Dockerfile" entry and instead only ignore specific backup files like
"Dockerfile.backup". If you need to exclude backups but keep the main
Dockerfile, use a negation pattern to explicitly include the main Dockerfile
while ignoring backups.


.output

docs

openvm-clippy

target
Loading
Loading