HyperBEAM：把计算从执行结果，变成可推理过程

HyperBEAM 试图把计算，从一个只能被接受的执行结果，转变为一个可以被理解、被推理、被验证的过程。