trailofbits / circomspect Goto Github PK

include "../node_modules/circomlib/circuits/poseidon.circom";
include "./merkleProof.circom"
include "./keypair.circom" 

# circomspect transaction.circom
error: UnrecognizedToken { token: (93, Token(61, "include"), 100), expected: ["\")\"", "\",\"", "\";\""] }                                                                  
  ┌─ /home/user/cash/circuits/transaction.circom:3:1
  │ 
3 │ include "./keypair.circom"
  │ ^^^^^^^ Invalid syntax

circomspect: 1 issue found.

warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
   ┌─ /.../file.circom:72:9
   │
72 │         m[i] <-- out[0][i];
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `m[i]` is not constrained here.
73 │         mRangeCheck[i] = Num2Bits(n);
74 │         mRangeCheck[i].in <== m[i];
   │         -------------------------- The signal `q[i]` is constrained here.
   │
   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.

warning: Inputs to `LessThan` need to be constrained to ensure that they are non-negative
   ┌─ /.../file.circom:72:28
   │
72 │         lt.in[1] <== 50 + 5;
   │                      ^^^^^^ `50 + 5` needs to be constrained to ensure that it is <= p/2.
   │
   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#unconstrained-less-than.

cargo install circomspect

   Compiling circomspect-program-structure v2.0.11 (/Users/sigridjin.eth/Documents/github/circomspect/program_structure)
error[E0658]: `let...else` statements are unstable
   --> program_structure/src/intermediate_representation/expression_impl.rs:172:17
    |
172 | /                 let Some(range) = cond.degree() else {
173 | |                     return result;
174 | |                 };
    | |__________________^
    |
    = note: see issue #87335 <https://github.com/rust-lang/rust/issues/87335> for more information

   Compiling circomspect-parser v2.0.11 (/Users/sigridjin.eth/Documents/github/circomspect/parser)
For more information about this error, try `rustc --explain E0658`.
error: could not compile `circomspect-program-structure` due to previous error
warning: build failed, waiting for other jobs to finish...
error: failed to compile `circomspect v0.7.2 (/Users/sigridjin.eth/Documents/github/circomspect/cli)`, intermediate artifacts can be found at `/Users/sigridjin.eth/Documents/github/circomspect/target`