You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
230 B
13 lines
230 B
/target
|
|
Cargo.lock
|
|
|
|
# Circom generated files
|
|
folding-schemes/src/frontend/circom/test_folder/*_js/
|
|
*.r1cs
|
|
*.sym
|
|
|
|
# generated contracts at test time
|
|
solidity-verifiers/generated
|
|
examples/*.sol
|
|
examples/*.calldata
|
|
examples/*.inputs
|