arnaucube 504e36ac47 Update ZKI gen to match circuit behaviour for Exit ...

Currently the circuit does not use an Exit Leaf at the Exit MerkleTree
when the Amount=0 & EffectiveAmount=0, but it does use an Exit Leaf when
the Amount>0 but EffectiveAmount=0 (for example when tx.Amount >
sender.Balance). This is a particularity of the approach of the circuit,
the idea will be in the future to update the circuit and when Amount>0
but EffectiveAmount=0, to not add the Exit in the Exits MerkleTree, but
for the moment the Go code is adapted to the circuit and when an Exit
with Amount>0 & EffectiveAmount=0, it will be added to the Leaf of the
Exit MerkleTree.

2021-02-24 15:00:30 +01:00

..

txprocessor_test.go

Update ZKI gen to match circuit behaviour for Exit

2021-02-24 15:00:30 +01:00

txprocessor.go

Update ZKI gen to match circuit behaviour for Exit

2021-02-24 15:00:30 +01:00

utils_test.go

Abstract TxProcessor from StateDB

2020-12-29 11:14:38 +01:00

utils.go

ZKInput with L2Txs compatible with circom circuits

2021-01-11 11:23:04 +01:00

zkinputsgen_test.go

Update ZKI gen to match circuit behaviour for Exit

2021-02-24 15:00:30 +01:00