發行時間:--
白皮書:https://docs.rifos.org/rif-whitepaper-zh.pdf
Cardano生態超額抵押算法穩定幣Djed與RealFi創企Thrift達成合作:7月27日消息,由COTI開發的基于Cardano區塊鏈的超額抵押算法穩定幣Djed與RealFi初創公司Thrift建立了新的合作關系。作為合作的一部分,Djed將成為Thrift所有項目的官方穩定幣,包括點對點平臺、錢包、法定出口解決方案和Thrift協議。(U.Today)[2022/7/27 2:39:16]
最大供應量:
Aave社區發起關于添加Centrifuge真實世界資產市場的提案:8月25日消息,Aave社區發起提案決定是否在Aave協議上推出Centrifuge真實世界資產(RWA)市場。這個市場能夠使Aave儲戶針對穩定的、不相關的真實世界抵押品賺取收益,同時Centrifuge資產發起人可以從Aave借入資金。投票將于8月31日6:00 pm截止,目前共有2655枚AAVE投了贊成票。Centrifuge是一個基礎設施供應商,使資產發起人能夠通過Tinlake創建一個鏈上資產基金,為貸款提供資金。[2021/8/25 22:35:56]
總供應量:
公告 | Algorand官方:Runtime Verification正式驗證Algorand區塊鏈永不分叉:Algorand官方博客發文稱:為了更好地保證Algorand協議,并使未來的協議設計和驗證更容易,Algorand選擇通過機器驗證來增強數學上的理論證明。為此,Algorand聘請了具有深入驗證能力的專業公司通過運行環境驗證來驗證Algorand共識協議的正確性。我們很高興地報告了這項工作的一個重要里程碑:使用Coq定理證明,團隊已經開發了一個精確的協議數學模型,并正式驗證了其安全保證(區塊鏈從不分叉)。在今年早些時候,Algorand用Runtime Verification(運行時驗證)來驗證其共識協議。Algorand宣布已經完成該工作的第一部分,即協議建模和證明其安全定理。具體來說,我們使用了一個證明助手(Coq)來系統地確定協議在數學上保證不會分叉的假設。[2019/6/26]
核心算法:
激勵機制:
RIF操作系統是首款一體化、易于使用的開放式區塊鏈基礎架構框架。RIF(RootstockInfrastructureFramework)代幣旨在成為一個實用性代幣,從而可以實現使任何代幣持有者使用與RIF操作系統的體系結構兼容并集成到RIF操作系統的所有服務。