migrate-account test failed

[ibmp33]

Now the simple tests have been passed as per the Readme, the next step we need make sure the complex cases work well.

common setup: deploy contracts, and register one token at least, can use gist scripts here.

update-account test( update user signing key )

id	operations	result	expected	pass or not	fix
0	common setup; alice deposit(s) 10; alias deposit(s) 10; alias deposit(s) 10; Bob deposit(s) 10; Bob deposit(s) 10; Bob sends Alice 11	-	Alice's balance should be 41; Bob's Balance should be 9	y	-
1	case 1; Alice updateAccount	-	Alice's balance should be 41; Bob's Balance should be 9	y	-
2	case 2; Alice send(s) Bob 22	-	Alice's balance should be 19; Bob's Balance should be 31	y	-
3	case 3; Bob withdraw(s) 31	-	Alice's balance should be 19; Bob's Balance should be 0	y	-
4	case 4; Bob updateAccount	-	Alice's balance should be 19; Bob's Balance should be 0	y	-
5	case 5; Bob deposit(s) 10; Alice sends Bob 11 Bob sends Alice 12	-	Alice's balance should be 20; Bob's Balance should be 9	y	-
6	case 6; Alice withdraw(s) 20	-	Alice's balance should be 0; Bob's Balance should be 0	y	-

migrate-account test( update user accountKey )

id	operations	result	expected	pass or not	fix
0	common setup; alice deposit(s) 10; alias deposit(s) 10; alias deposit(s) 10; Bob deposit(s) 10; Bob deposit(s) 10; Bob sends Alice 11	-	Alice's balance should be 41; Bob's Balance should be 9	y	-
1	case 1; Alice migrateAccount	-	Alice's balance should be 41; Bob's Balance should be 9	n	-
2	case 2; Alice send(s) Bob 22	-	Alice's balance should be 19; Bob's Balance should be 31		-
3	case 3; Bob withdraw(s) 31	-	Alice's balance should be 19; Bob's Balance should be 0		-
4	case 4; Bob migrateAccount	-	Alice's balance should be 19; Bob's Balance should be 0		-
5	case 5; Bob deposit(s) 10; Alice sends Bob 11 Bob sends Alice 12	-	Alice's balance should be 20; Bob's Balance should be 9		-
6	case 6; Alice withdraw(s) 20	-	Alice's balance should be 0; Bob's Balance should be 0		-

Error:

1. error_1

Error: Assert Failed.
Error in template ForceEqualIfEnabled_325 line: 56
Error in template SMTVerifier_402 line: 134
Error in template Membership_403 line: 25
Error in template Account_404 line: 189
Error in template UpdateState_492 line: 69

    at /Users/ioio33/eigen-secret/circuits/main_update_state_js/witness_calculator.js:161:27
    at Array.forEach (<anonymous>)
    at WitnessCalculator._doCalculateWitness (/Users/ioio33/eigen-secret/circuits/main_update_state_js/witness_calculator.js:136:14)
    at WitnessCalculator.calculateWTNSBin (/Users/ioio33/eigen-secret/circuits/main_update_state_js/witness_calculator.js:212:20)
    at Function.updateState (/Users/ioio33/eigen-secret/core/dist/prover.js:15:55)
    at async SecretSDK.migrateAccount (/Users/ioio33/eigen-secret/sdk/dist/index.js:650:37)
    at async SimpleTaskDefinition.action (/Users/ioio33/eigen-secret/tasks/account.ts:103:33)
    at async Environment._runTaskDefinition (/Users/ioio33/eigen-secret/node_modules/hardhat/src/internal/core/runtime-environment.ts:330:14)
    at async Environment.run (/Users/ioio33/eigen-secret/node_modules/hardhat/src/internal/core/runtime-environment.ts:163:14)
    at async main (/Users/ioio33/eigen-secret/node_modules/hardhat/src/internal/cli/cli.ts:277:7)

[Stephen]

fixed by #93