- 博客(3)
- 收藏
- 关注
RSS订阅原创 zkp(zero knowledge proof)
当谈论Groth16时，我们实际上在讨论一种非交互式零知识证明系统，专门用于zk-SNARKs（零知识简洁非交互式知识证明）。zk-SNARKs是一种密码学证明，允许一方向另一方证明某个陈述是真实的，而无需透露关于该陈述本身的任何信息。零知识证明（Zero-Knowledge Proof，ZKP）是一种在不泄露陈述内容的情况下证明陈述有效性的方法。它是一个证明系统，包括证明者、验证者和挑战，使用户能够公开分享知识或所有权的证明，而不揭示其细节。新的引入 不需要可信设置。可信设置在上述中很重要。
2023-11-28 16:32:28
55
原创 p problem I np problem 小节
np 问题：Nondeterministic Polynomial problem，不知道在多项式时间内可不可以解决的问题，但是可以在多项式时间内验证的问题。的枚举情况，这样的时间复杂度就不是o(n^k)，但是如果要验证某一条环路路径是否小于a是很容易的。np-complete问题：np完全问题是一种特殊的np问题，并且其他所有np问题都可以归化于这种问题。，要到n个城市推销商品，他要找出一个包含所有n个城市的环路，这个环路路径小于a。np-hard问题：满足上述第二条，而不一定满足第一条。
2023-11-08 15:31:59
25
1
原创 physical design | level shift 篇
为什么0.9v的信号在1.2v的domain里，会造成PMOS和NMOS的同时开启，而造成internal power？问题： 为什么level shifter用于在高电平到低电平转换中是两个inverter相连？它的原理是怎么样的？
2023-09-05 10:55:35
140
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人