matter-labs-archive / belle_cuda Goto Github PK
View Code? Open in Web Editor NEWImplementation of various primitives for bellman using CUDA (WIP)
License: Other
Implementation of various primitives for bellman using CUDA (WIP)
License: Other
I use bellman to test the commmand cargo test --release -- --nocapture test_mimc_bn256_gpu_all
however I got the error bellow.
mimc-4d91b5a560d32bc6: /root/proj/belle_cuda/sources/Groth16_prover.cu:357: affine_point Groth16_proof(const Groth16_prover_data*): Assertion `mlock(pr_data->c_arr, pr_data->c_len * sizeof(embedded_field)) == 0' failed.
error: test failed, to rerun pass '--test mimc'
Hello,
I am trying to use this repo to benchmark different SNARK provers on GPUs. After launching the test as described in README, i get the error below.
Thanks
cargo test --release -- --nocapture test_mimc_bn256_gpu_all
Finished release [optimized] target(s) in 0.19s
Running target/release/deps/bellman_ce-9c5ab40de88a6857
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 11 filtered out
Running target/release/deps/mimc-ae4b0d4793d503aa
/local/david/iden3/matterlabs/bellman/target/release/deps/mimc-ae4b0d4793d503aa: symbol lookup error: /local/david/iden3/matterlabs/bellman/target/release/deps/mimc-ae4b0d4793d503aa: undefined symbol: dense_multiexp
error: test failed, to rerun pass '--test mimc'
the result of mul_uint256_to_512_Karatsuba is error
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.