search

fluidex / snarkit

A toolkit to compile and debug circom circuit.
23 stars 1 forks source link

snarkit compile crashs under ubuntu #14

Open noel2004 opened 3 years ago

noel2004 commented 3 years ago

Compile circuits/testdata under ubuntu with following command

snarkit compile /home/ubuntu/fluidex-backend/circuits/testdata/Block_2_5_10_5 --verbose --backend=auto

is always fail and prompt me Command terminated by signal 11

The issue seems caused by --verbose switch which called /usr/bin/time. so I can run the command succefully without --verbose switch.

However, call the sole command under bash shell directly runs well (though it would failed inside snarkit )

/usr/bin/time -v node --max-old-space-size=8192 --stack-size=65500 /usr/local/lib/node_modules/snarkit/node_modules/circom/cli.js /home/ubuntu/fluidex-backend/circuits/testdata/Block_2_5_10_5/circuit.circom -r /home/ubuntu/fluidex-backend/circuits/testdata/Block_2_5_10_5/circuit.r1cs -c /home/ubuntu/fluidex-backend/circuits/testdata/Block_2_5_10_5/circuit.cpp -s /home/ubuntu/fluidex-backend/circuits/testdata/Block_2_5_10_5/circuit.sym -v
HAOYUatHZ commented 3 years ago

what about

snarkit compile /home/ubuntu/fluidex-backend/circuits/testdata/Block_2_5_10_5 --verbose  --backend=native
noel2004 commented 3 years ago

Still no luck ... and seems same error

noel2004 commented 3 years ago

The failing logs is attached here (with backend=auto/native).

When run without --verbose we success but of course, no log available ...

failsnarkit-native.log failsnarkit-auto.log