[TGE] EVM equivalent L2 blockchain to support exchange listings

[ristik]

Repos:

Main: https://github.com/ristik/uni-evm
BFT Core (proof verification) https://github.com/unicitynetwork/bft-core/tree/l1
bft-go-base needs some limits adjusted: https://github.com/unicitynetwork/bft-go-base/tree/l2
forked ethrex (state rollback, builtins): https://github.com/ristik/ethrex/tree/uni-evm

Design:

https://github.com/unicitynetwork/specs/blob/main/evm/uni-evm.pdf

TODO:

infra:

• scripts to generate complex configs
• multi-node bft core (test)
• other partitions working together, per-partition config of proof type (nope, sp1 compressed stark, light_client) (test)
• bft core's CI must be finished (some issue with finding linux .so files of ffi libs)
• double check if sp1 accelerated primitives are used when proving

rpc:

• test all rpc interfaces (execute raw tx, get balance, chain state, gas estimation work/fixed)
• lots of blank tx meta data to be filled
• when specifically to return receipt (tx hash) - soft or hard finality? make it configurable?
• test with common (browser) wallets
• test with a block explorer
• separate rpc node
• data availability (at least real-time replication to rpc nodes?)

token layer:

• smart contracts (test) - OK
• utb update - works from file, not from API (no source endpoint)
• finish unicity token (new sdk) verification in solidity, using UC verification builtin - waiting for new SDK to stabilize, UTB verification done
• external code poc how to fetch a self-contained proof of tx/contract execution/validation
  • e.g. token compression, dust collection, pooled assets, bridging

nice to have:

• speculative next process production while proving
• merge EVM blockchain and UC storage
• perf tests