Linera: a blockchain infrastructure for highly-scalable Web3 applications