> ⚔️ The size of compiled program which evaluates one pairing is 10.5 KBytes and it consumes ~4.2M weight units. It sounds even Simplicity programs need the Virtual Mempool of @ba690466…c11156f0 https://github.com/distributed-lab/simplicity-bn254