10、Fiat-Shamir:from Pratice to Theory-Ron Rothblum Technion

其中強調一點關于Proof【證明系統(tǒng)】和Argument【論證系統(tǒng)】的區(qū)別：

• 1、在證明系統(tǒng)中，P是計算能力無界的，但是V是多項式時間有界的。
• 2、在論證系統(tǒng)中，P是多項式時間有界的，但是V是計算能力無界的。【長遠看來，argument系統(tǒng)更好】。

總結

以上是生活随笔為你收集整理的10、Fiat-Shamir:from Pratice to Theory-Ron Rothblum Technion的全部內容，希望文章能夠幫你解決所遇到的問題。

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