판 이력 — BitVM: Quasi-Turing Complete Computation on Bitcoin | AIChainDay