Bitcoinの複雑な条件のコントラクトをコンパクトに実現するMAST