> ⚔️ 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 @Ark Labs

https://github.com/distributed-lab/simplicity-bn254