Skip to content

[Experiment] ceno + babybear #905

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

Jump to bottom
Draft
wants to merge 28 commits into
base: master
Choose a base branch
from
Draft

[Experiment] ceno + babybear #905

wants to merge 28 commits into from

Conversation

hero78119
Copy link
Collaborator

@hero78119 hero78119 commented Apr 17, 2025 •
edited
Loading

Reopen from #873

Example command

cargo run  --features sanity-check --package ceno_zkvm --bin e2e  -- --platform=ceno --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci

then proof will be serialized to proof.bin

@hero78119 hero78119 changed the title Feat/smaller field support [Experiment] ceno + babybear Apr 17, 2025
@hero78119 hero78119 marked this pull request as draft April 17, 2025 03:08
@hero78119 hero78119 mentioned this pull request Apr 17, 2025
Closed
hero78119 and others added 17 commits April 21, 2025 16:13
@hero78119
merge with master
8b69171
@darth-cy
Merge branch 'master' into feat/smaller_field_support
cf53b27
@darth-cy
Fine tune merge issues
3bdfbb3
@darth-cy
Correct two adicity for babybear run case
f25397b
@darth-cy
Field access adjustment
70a4f50
@kunxian-xia
Merge remote-tracking branch 'origin/master' into feat/smaller_field_…
79e17e0 
…support
@kunxian-xia
more field access adjustments
2d134ed
@darth-cy
Update Plonky3
f3c5db6
@darth-cy
Change revision hash
df4a611
@darth-cy
Merge branch 'master' into feat/smaller_field_support
18db3e2
@darth-cy
Disable subcircuits
05c1031
@darth-cy
Merge branch 'feat/smaller_field_support' into build/smaller_field_su…
dfc95eb 
…pport_plonky3_539bbc
@hero78119
fix few places to support < u32 prime field
4321011
@kunxian-xia
make basefold related structs public
a184db1
@kunxian-xia
Merge remote-tracking branch 'origin/feat/smaller_field_support' into…
c1f92e9 
… build/smaller_field_support_plonky3_539bbc
@kunxian-xia
make basefold::structure module public
55ae036
@kunxian-xia
Merge remote-tracking branch 'origin/feat/smaller_field_support' into…
1acd5ed 
… build/smaller_field_support_plonky3_539bbc
@hero78119
Copy link
Collaborator Author

Example command to derive proof with keccak precompile

RUST_LOG=info cargo run --release --package ceno_zkvm --bin e2e -- --field=baby-bear --platform=ceno  examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall

@kunxian-xia kunxian-xia linked an issue Aug 5, 2025 that may be closed by this pull request
switch to babybear by default(ceno and ceno-gpu) #953
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

BabyBear

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

switch to babybear by default(ceno and ceno-gpu)

3 participants

@hero78119 @kunxian-xia @darth-cy