ARDVRK

　　Aardvark 是一種先進的加密貨幣，通過一種稱為異步驗證字典的新方法來簡化交易驗證。這種創新的系統通過使用不可信的服務器來管理數據並提供簡潔、可驗證的準確證明，從而顯著減輕了驗證者的存儲負擔。Aardvark 的設計特別擅長應對高吞吐量環境（如加密貨幣中的環境）所帶來的挑戰。

　　在Aardvark模型中，交易被同時且異步地處理，這有時會導致證明在驗證之前變得過時。為了解決這個問題，Aardvark 使用了一個版本機制，允許在有限的時間內接受稍微過時的證明，從而確保系統的效率和可靠性。這個機制對於保持高水平的交易吞吐量而不影響安全性或準確性至關重要。

　　該系統設計為輕量級，Merkle Tree中的操作證明大小約為1KB，而Aardvark中僅為100-200B。這導致存儲成本大幅降低，相比維護整個狀態，節省了800倍的成本。Aardvark 的架構還包括一個交易接口，支持Get、Put和Delete等操作，為基於賬戶的加密貨幣（如以太坊和Algorand）提供了一個強大的平台。

　　在性能方面，Aardvark 展示了令人印象深刻的能力，一個32核驗證者能夠每秒處理數千個操作。這種性能水平是通過使用基於配對的向量承諾實現的，這提供了短小高效的證明。該系統的設計還確保在對抗性訪問模式下保持高效，並對資源使用設定了嚴格的上限。