4 ms·

Yes, and there are other blockchains purpose-built around verifiable computation like ZCash and Mina.