1. 功能

• 測試智能合約的功能，包括智能合約的編寫、編譯、安全性評估等過程的執行。

• 提供智能合約細粒度自動化漏洞檢測技術，實現適配多類型智能合約的深度安全防護方法和技術。

2. 特點

• 自動識別智能合約代碼“關鍵”路徑，對程序路徑進行優先排序，并對智能合約的關鍵路徑進
  行模擬運行全覆蓋，自動過濾不可行的執行路徑。
• 根據知識庫對合約潛在的污點進行識別，識別污點信息在智能合約中的產生點并對其進行標
  記，按照實際需求和污點傳播規則進行前向或后向數據依賴分析，得到污點的數據依賴和被依賴關系的指令集合，在一些關鍵的程序點檢查關鍵的操作是否會受到污點信息的影響。
• 提供智能合約形式化驗證的容器，通過數學推理邏輯和證明，檢查智能合約功能正確性和安全
  屬性，能完全覆蓋代碼的運行期行為，可以確保在一定范圍內智能合約的絕對正確。

3. 支持網絡安全

• TLS握手過程協議，建立實體和實體的身份的真實性連接。加密安全數據通道在實體間建立，連接實
  體須就通信中所使用的加密方法和密鑰匹配。
  通信過程中使用公鑰加密，實體在沒有彼此任何先驗知識的情況下建立共享秘密加密密鑰。
  實體的密鑰私鑰在硬件HSM或者TPM中保護，提供防本地物理攻擊的、面向金融應用安全級別的高等級防護
  

總結

以上是生活随笔為你收集整理的区块链BaaS云服务（21）腾讯CCGP”安全沙箱“的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。