Skip to content

Commit

Permalink
update ray 08-17
Browse files Browse the repository at this point in the history
  • Loading branch information
rayjun committed Aug 17, 2024
1 parent 82dea02 commit 4c5176a
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions Ray_ZICL1st.md
Original file line number Diff line number Diff line change
Expand Up @@ -298,5 +298,15 @@ timezone: Pacific/Auckland # 新西兰标准时间 (UTC+12)
- 协议并没有对 prover 的多项式阶数进行约束
- 所以关键是 r 这个值能不能隐藏起来不可见,这里可以通过模运算来解决这个问题

### 2024.08.17
- 学习主题:zk-SNARK 学习
- 学习内容小结:
- 通过模运算形成的集合被称为有限域
- 通过计算指数再进行模运算行为的集合构成循环群
- 常见的同态加密方式除了整数幂取模之外,还有椭圆曲线上的倍乘
- 然后配合这些工具,就可以对多项式进行加密处理,并且 Alice 和 Bob 后续会基于这个同态加密函数来计算
- 但是这样构造出来的协议还是有一些问题,Bob 无法证明 Alice 使用了自己提供的加密值进行运算
- 在 ZK 协议中,Prover 和 Verifier 之间的工作,如果 Prover 多做了一些,那么 Verifier 就可以少做一些,Verifier 多做一些,Prover 就可以少做一些


<!-- Content_END -->

0 comments on commit 4c5176a

Please sign in to comment.