一個生成規則系統 一種參與式的工作量證明實現方法 一個來源記錄