??521??Mimblewimble??????????????

Seventy3???NotebookLM???????????????????????????crypto????????AI????????????????????????????????????A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security ApproachSummaryMimbleWimble?MW? ???????????????????????????????????????????????????????????????????????????????model-driven verification???????????????????????????????????????????idealized model???????????????????????????????????????????????????? MW ????????????????????????????? MW ?????????????????????????? Z ?????Z specification? ????????? Z ??????? {log} ??????????? {log} ???????????executable model??????????????????????????????????????????????????????????????????? MW ????????????????? Grin Beam??????????????????????????????????????????????????????????? MW ??????????????????????????????????????????????????????????????????https://arxiv.org/abs/2104.00822