Aurélien

Results 46 comments of Aurélien

@deerzhang What prover mode a re you on (Groth16, Plonk...)? Is it still failing if you change it? It would be very helpful if you can provide a minimal repro.

@deerzhang Is there an error message when you run: ``` docker run --rm -e RUST_LOG=info --gpus all public.ecr.aws/succinct-labs/moongate:v4.2.1 ```

After more investigations, the root cause is that V100 only supports NVIDIA Compute Capability 7.0, but we requires 8.6 or higher. Cf NVIDIA docs: https://developer.nvidia.com/cuda-legacy-gpus

Can you do the following checks: 1. Run ``` cargo clean cargo build ``` and see if there is still an error (I guess you already tried that) 2. Can...

@Zk2u Do you still have issues with llvm?

What are the output of these commands? ``` rustc --version --verbose | grep LLVM ld.lld --version rust-lld --version ```

Arg, o3 is hallucinating big time, sorry about that. I'll try to setup a Fedora 42 machine. Do you know why you have 2 llvm versions?

Are your errors on a public repo? Could you provide a minimal repro? (I'm setting up a Fedora machine) And fwiw, on my Ubuntu machine `rustc --version --verbose | grep...

I'm able to reproduce, but I haven't found a way to solve it yet...

We are planning to release a new `succinct` Rust toolchain that is build with LLVM 20, that should theorically solve this issue.