一个生成规则系统 一种参与式工作量证明实现方法 一个来源记录