從區塊鏈到生物科技：礦工如何幫助發現新藥物

連結表

摘要和 1. 介紹

1. 志願計算

2. PNPCoin

   3.1 區塊鏈整合和 3.2 有界複雜度

   3.3 運行時權威和 3.4 向後兼容

3. 使用案例 - 細胞對接

4. 結論和參考文獻

4 使用案例 - 細胞對接

\ 接下來，他們定義了大小為 m 的二進制輸出，在這種情況下 m=2，只有 01、00 和 10 三種結果，分別代表 結合、不結合 和 未終止。這是因為每個 for 循環中步驟數量的上限，代碼可能被迫提前優雅地終止。

\ 然後根據 3.2 節的要求，將代碼轉換為不包含 while 語句和遞歸調用。所有肽鏈和受體分子都保存在數據文件中，並在線上提供，同時還有包含其校驗和的元文件。

\ 此代碼提交給運行時權威機構進行審查和發布。在這裡，它被編譯、測試運行時間，並計算上限。一旦通過所有測試，並且代碼被選中用於下一個區塊，源代碼和數據就會在點對點文件共享下以唯一 ID 進行傳播。節點下載代碼，執行它，並將結果返回到點對點文件共享。對於最佳執行，第一個最低解決方案被接受並包含在區塊鏈時間戳中。對於完整執行，輸入和輸出使用 SHA-256 進行哈希處理，最長的前導零會獲得獎勵，此外每個首次提交者還會獲得較小的獎勵。

\ 一旦收集到所有結果，下一個區塊就開始。在最佳模式下，最佳解決方案的輸入和輸出會保存在文件共享中，而在完整模式下，則保存所有輸出。

\

5 結論

結果是公開可用的，有助於透明度和可重複性。此外，Bitcoin 礦工社區非常有創意，經常發現解決難題的巧妙方法。如果發現一種通用的、計算強度較低的方法來解決給定問題，將會帶來更大的益處。

\ PNPCoin 軟分叉有兩個限制：需要大量內部記憶體的長時間處理過程，如 Lucas-Lehmer 素性測試，無法在此架構上執行，因為它們本質上是不可並行化的。只有可以在單一步驟（暴力搜索）或多個優化步驟（超參數調整）中執行的問題才適用。其次，哈希函數是按每區塊一次的基礎計算的，這對每個節點的運行時間設置了不便的限制。解決這個問題需要某種形式的分類帳，允許不同長度的步驟，有些計算可能需要一秒鐘，而其他的可能需要一個月。

\ 然而，其他原本難以處理的問題類型可以輕鬆地融入這種架構。這使得解決離散超參數上的大型測試、分布式訓練、超空間映射成為可能，並且通常將 NP 問題的可解性提高了幾個數量級。需要建造價值數百萬美元超級計算機的 AI 應用將從將公民科學推向 Bitcoin 中獲益 5 萬倍。由於 Bitcoin 的普及，將 AI 擴展到全球超級計算機現在已成為現實，並可能為通用人工智能提供關鍵一步。

\

參考文獻

[1] Rob Halford. Gridcoin: 使用伯克利開放基礎設施網絡計算網格作為工作量證明的加密貨幣，2014。

\ [2] ICANN. IANA 功能：互聯網號碼分配機構 (IANA) 功能介紹。2015。

\ [3] Eric Lombrozo. BIP 分類。https://github.com/bitcoin/bips/blob/master/bip0123.mediawiki，2015。

\ [4] Satoshi Nakamoto. Bitcoin：點對點電子現金系統。2008。

\ [5] Arvind Narayanan. 關於區塊鏈和類似技術能源效率的聽證會。美國參議院能源和自然資源委員會，2018。

\ [6] Lawrence C Paulson 和 Jasmin Christian Blanchette. 使用 Sledgehammer（自動和交互式定理證明器之間的實用連接）的三年經驗。在 PAAR@ IJCAR，第 1-10 頁，2010。

\

:::info 作者：

(1) Martin Kolar，布爾諾理工大學 (kolarmartin@fit.vutbr.cz)。

:::

:::info 本論文可在 arxiv 上獲取，採用 CC BY 4.0 DEED 許可證。

:::

\