Comment by missing-acumen

While it certainly does not solve everything, the work being done with verifiable VMs is very interesting.

Today's most advanced projects are able to compile pretty much arbitrary rust code into provable RISC-V programs (using SNARKs).

Imo that solves a good chunk of the problem of proving to software users that what they get is what they asked for.