Hi, I am kind of confused at the moment. I am testing the code in bellman - Rust with some slight changes and the code I get is, use bellman::{gadgets::{boolean::{AllocatedBit, Boolean},multipack,sha256::sha256,},groth16, Circuit, ConstraintSystem, SynthesisError}; use bls12_381::Bls12;//field used…

[image] sims28: I keep getting error that cannot compile bitvec Can you paste the compiler output when it tries to compile bitvec? (If your IDE does not show you detailed compile errors from bitvec, try running cargo build in a terminal, in your project directory.)

One problem might be that bellman is not using the latest version of bitvec. Try editing your Cargo.toml file to specify bitvec = "0.20.0", so you are using the same version as bellman.

I ran cargo build and the errors are like really long but the same ones, weird part is the error is not actually in my code but in some other library as I understand, I am confused if I have to add more things in the library. ~/project/sha$ cargo build Compiling bitvec v0.20.1 error[E0034]: mult…

It looks like there's a conflict between bitvec 0.20.1 and funty 1.2.0 (which bitvec depends on). The workaround for now is to downgrade to the previous version of funty by running this command in your project directory: cargo update -p funty --precise 1.1.0 The long-term fix is for bellman and i…

I get ~/project/sha$ cargo update -p bitvec --precise 0.20.0 Updating crates.io index Updating bitvec v0.20.1 -> v0.20.0 Updating funty v1.1.0 -> v1.2.0 and when I try to do the command you suggested I get, ~/project/sha$ cargo update -p funty --precise 0.20.0 Updating crates.io …

The command to run is: cargo update -p funty --precise 1.1.0

Yup that part is sorted. Sorry was stupid with the command I wrote.

Hey, I was working with the code and it still does not run, which does not honestly make sense to me, use bellman::{gadgets::{boolean::{AllocatedBit, Boolean},multipack,sha256::sha256,},groth16, Circuit, ConstraintSystem, SynthesisError}; use bls12_381::Bls12;//field used use ff::PrimeField; //use…

Try running with optimizations enabled (cargo run --release). On my Core i9 laptop in release mode, I get: Parameter Generation... Parameter generation time: 9.474669851 Generating Proof... Proof generation time: 10.539158075 Verification time... Verification time: 10.543371547

Bellman example not working

code review

Topic		Replies	Views
Best bitarray implementation	24	4747	May 28, 2022
Error message displayed when I execute 'cargo bench' help	3	695	July 8, 2020
Multiplication Circuit code review	0	477	March 17, 2021
Using Arkworks: mixing constraint systems help	6	437	August 9, 2024
Unable to use BitVec	5	1463	April 3, 2015

Bellman example not working

Related topics