Fix failed tests

[florin5f]

Plain:

• [x] binsub_test: not yet implemented (Pow)
• [x] constants_test: assertion failed
• [x] eddsa_test: not yet implemented (Pow)
• [x] eddsamimc_test: assertion failed
• [x] escalarmul_test: TODO argument type size is > 1
• [x] escalarmul_test_min: TODO argument type size is > 1
• [x] escalarmulw4table_test: TODO argument type size is > 1
• [x] escalarmulw4table_test3: TODO argument type size is > 1
• [x] mimc_sponge_hash_test: not yet implemented (BoolOr)
• [x] mimc_sponge_test: not yet implemented (BoolOr)
• [x] mux1_1: assertion left == right failed
• [x] mux2_1: assertion left == right failed
• [x] mux3_1: assertion left == right failed
• [x] mux4_1: assertion left == right failed
• [x] pedersen2_test: assertion left == right failed
• [x] pedersen_test: TODO argument type size is > 1
• [x] pointbits_loopback: not yet implemented (Pow)
• [x] poseidonex_test: stack frame is empty
• [x] sha256_2_test: not yet implemented (Mod)
• [ ] sha256_test448: not yet implemented (Mod)
• [ ] sha256_test512: not yet implemented (Mod)
• [x] sign_test: assertion left == right failed
• [ ] smtprocessor10_test: assertion failed
• [ ] smtverifier10_test: assertion failed
• [x] sum_test: assertion left == right failed

ABY3: These are all the occurring errors:

• not yet implemented: Shared not implemented
• TODO we need to check how to call this and when this happens
• stack frame is empty?
• circom-mpc-compiler/src/lib.rs:205:34: not yet implemented

Full list of errors:

• [ ] aliascheck_test: not yet implemented: Shared not implemented
• [x] babyadd_tester: not yet implemented: Shared not implemented
• [x] babycheck_test: not yet implemented: Shared not implemented
• [ ] babypbk_test: not yet implemented: Shared not implemented
• [ ] binsub_test: not yet implemented: Shared not implemented
• [ ] binsum_test: not yet implemented: Shared not implemented
• [x] constants_test: not yet implemented: Shared not implemented
• [ ] eddsa_test: lib.rs:205:34: not yet implemented
• [ ] eddsa_verify: not yet implemented: Shared not implemented
• [ ] eddsamimc_test: not yet implemented: Shared not implemented
• [ ] eddsaposeidon_test: not yet implemented: Shared not implemented
• [x] edwards2montgomery: not yet implemented: Shared not implemented
• [x] escalarmul_test: TODO we need to check how to call this and when this happens
• [ ] escalarmul_test_min: TODO we need to check how to call this and when this happens
• [ ] escalarmulany_test: not yet implemented: Shared not implemented
• [ ] escalarmulfix_test: not yet implemented: Shared not implemented
• [ ] escalarmulw4table_test: TODO we need to check how to call this and when this happens
• [ ] escalarmulw4table_test3: TODO we need to check how to call this and when this happens (collaborative-circom/circom-mpc-compiler/src/lib.rs:479:17)
• [ ] functions: not yet implemented: Shared not implemented
• [ ] greatereqthan: not yet implemented: Shared not implemented
• [x] greaterthan: not yet implemented: Shared not implemented
• [ ] isequal: not yet implemented: Shared not implemented
• [ ] iszero: not yet implemented: Shared not implemented
• [x] lesseqthan: not yet implemented: Shared not implemented
• [x] lessthan: not yet implemented: Shared not implemented
• [ ] mimc_sponge_hash_test: not yet implemented: Shared not implemented
• [ ] mimc_sponge_test: not yet implemented: Shared not implemented
• [x] montgomery2edwards: not yet implemented: Shared not implemented
• [x] montgomeryadd: not yet implemented: Shared not implemented
• [x] montgomerydouble: not yet implemented: Shared not implemented
• [x] mux1_1: not yet implemented: Shared not implemented
• [ ] mux2_1: not yet implemented: Shared not implemented
• [ ] mux3_1: not yet implemented: Shared not implemented
• [x] mux4_1: not yet implemented: Shared not implemented
• [ ] pedersen2_test: not yet implemented: Shared not implemented
• [ ] pedersen_hasher: not yet implemented: Shared not implemented
• [x] pedersen_test: TODO we need to check how to call this and when this happens
• [ ] pointbits_loopback: not yet implemented: Shared not implemented
• [x] poseidonex_test: stack frame is empty?
• [ ] sha256_2_test: TODO we need to check how to call this and when this happens
• [ ] sha256_test448: TODO we need to check how to call this and when this happens
• [ ] sha256_test512: TODO we need to check how to call this and when this happens
• [ ] sign_test: not yet implemented: Shared not implemented
• [ ] smtprocessor10_test: not yet implemented: Shared not implemented
• [ ] smtverifier10_test: not yet implemented: Shared not implemented
• [x] sum_test: not yet implemented: Shared not implemented

[dkales]

@fnieddu most critical ones regarding compiler:

• stack frame is empty? in poseidonex_test
• TODO we need to check how to call this and when this happens multiple tests e.g. pedersen_test
• Mux tests all not working

[0xThemis]

critical ones working in plain VM

[0xThemis]

eddsa_mimc verifier does not have valid test cases. The snarkjs witness extension and our solution throws:

assert Error in template EdDSAMiMCVerifier_27 line: 53

[dkales]

After #51, all test above pass now except for ones depending on sqrt function.