WIP Tx Circuit

Apply cargo fmt

Make it compile

Rework the tests

Add copy constraints

WIP

Add integer copy constraints

WIP

Keccak lookup input is invalid OwO

Keccak lookup works

Verify address from pub_key_hash

Add eq between ECDSA integers and bytes

Constraint msg_hash_rlc = RLC(msg_hash)

Add new region

Get padding working, yes!

WIP

Get padding working

Prepare for byte range check

WIP: int to bytes le using main gate

Get main gate integer to bytes working

Power of randomness expr in circuit

WIP tx to sign_data

WIP ecdsa pk recovery

So close

Working tx circuit

Little clean up

Add comments from spec for constraints

Test dev-graph

Document and update halo2wrong dep

Set halo2wrong deps to personal fork

Fix rebase main issues

Fix clippy complaints

Co-authored-by: adria0