Skip to content

[WIP] Split bellman crate#3

Draft
georgwiese wants to merge 19 commits intoplonk-add-verifierfrom
split-bellman-crate
Draft

[WIP] Split bellman crate#3
georgwiese wants to merge 19 commits intoplonk-add-verifierfrom
split-bellman-crate

Conversation

@georgwiese
Copy link
Owner

No description provided.

Copy link

@Schaeff Schaeff left a comment

Choose a reason for hiding this comment

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

Makes sense! Just a few small comments but ok to merge and review together with the rest

zokrates_ast = { version = "0.1", path = "../zokrates_ast", default-features = false }
zokrates_proof_systems = { version = "0.1", path = "../zokrates_proof_systems", default-features = false }

bellman_ce = { git = "https://github.com/georgwiese/bellman", rev="b356c7001f30da23bfad2b43eb0b7ca9804c8252", default-features = false, features = ["plonk", "multicore"] }
Copy link

Choose a reason for hiding this comment

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

Shall we try to get these changes merged?

Copy link
Owner Author

Choose a reason for hiding this comment

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

Sure! I opened matter-labs/bellman#48. Also, I pulled the most recent dev and updated our Cargo.tomls accordingly to make sure that we can actually use the merged version.

# bellman
bellman_ce = { git = "https://github.com/matter-labs/bellman", version = "^0.3", default-features = false, optional = true }
bellman_ce = { version = "^0.3", default-features = false, optional = true }
bellman_ce_plonk = { package = "bellman_ce", git = "https://github.com/georgwiese/bellman", rev="b356c7001f30da23bfad2b43eb0b7ca9804c8252", default-features = false, features = ["plonk", "multicore"], optional = true }
Copy link

Choose a reason for hiding this comment

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

same here

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants