模拟可提取版本的格洛斯的zk-SNARK重新审视的版本
Oussama Amine1, Karim Baghery2, Zaira Pindado3
1University of Oslo, Oslo, Norway.
International journal of information security
|September 2, 2024
概括
这项研究引入了一个更高效的模拟可提取的zk-SNARK,改进了现有的方案. 新建筑提供了较小的证明尺寸和更快的验证,使其与最先进的系统具有高度竞争力.
科学领域:
- 密码学 密码学 密码学 密码学
- 计算机科学 计算机科学
背景情况:
- 零知识简洁的非互动知识论证 (zk-SNARKs) 对于高效的私人验证至关重要.
- 格罗斯的方案是当前的标准,但缺乏保证的不性.
- 模拟提取性是高级zk-SNARK应用程序的必要属性.
研究的目的:
- 为了呈现一个更有效的模拟可提取的zk-SNARK (SE zk-SNARK).
- 为了改善博威-加比森2018 (BG18) 建设.
- 为了减少配对操作和证明大小,同时保持安全性.
主要方法:
- 对基于随机语录的格罗斯zk-SNARK (BG18) 变体的修订.
- 使用Arkworks库与BG18和其他相关方案的实施和实证比较.
- 在随机预言的代数组模型中进行安全分析.
主要成果:
- 与BG18相比,拟议的SE zk-SNARK在验证中节省了2个配对,在证明中节省了1个组元素.
- 安全性被简化为双线群中的标准计算假设.
- 经验结果显示,相对于以前的SE zk-SNARK,其效率更高,性能与原始格洛斯方案相近.
结论:
- 新的SE zk-SNARK为需要模拟提取能力的应用提供了实用和高效的解决方案.
- 这项工作推进了高效和安全的zk-SNARK构造的最新技术.
- 该方案为现有的zk-SNARK提供了一个强大的替代方案,具有增强的安全特性.
更多相关视频
相关概念视频
00:57Population Growth
Population size is dynamic, increasing with birth rates and immigration, and decreasing with death rates and emigration. In ideal conditions with unlimited resources, populations can increase exponentially, which plots as a J-shaped growth rate curve of population size against time. This type of curve is characteristic of newly-introduced invasive species, or populations that have suffered catastrophic declines and are rebounding.However, realistic environmental conditions limit the number of...
01:17Ziegler–Natta Chain-Growth Polymerization: Overview
Ziegler–Natta polymerization is another form of addition or chain‐growth polymerization used for synthesizing linear polymers over branched polymers. The catalyst used for polymerization is the Ziegler–Natta catalyst, named after Karl Ziegler and Giulio Natta, who developed it in 1953. This catalyst is an organometallic complex of titanium tetrachloride and triethyl aluminum, with the active form of the catalyst being an alkyl titanium compound. Using the Ziegler–Natta catalyst, high molecular...
01:30Current Growth And Decay In RL Circuits
The current growth and decay in RL circuits can be understood by considering a series RL circuit consisting of a resistor, an inductor, a constant source of emf, and two switches. When the first switch is closed, the circuit is equivalent to a single-loop circuit consisting of a resistor and an inductor connected to a source of emf. In this case, the source of emf produces a current in the circuit. If there were no self-inductance in the circuit, the current would rise immediately to a steady...
01:29Exponential Growth
Bacterial populations exhibit exponential growth when conditions such as nutrient availability and temperature are favorable. In this phase, cells reproduce through binary fission, where each cell divides into two identical daughter cells. This process causes the population to double at regular intervals, resulting in a growth rate that is directly proportional to the current number of cells. As the population increases, the number of new cells formed during each generation also grows, creating...
01:26Exponential Equations for Modeling Growth
Exponential models are essential for describing rapid, multiplicative changes in natural systems, such as population growth. When a population doubles at regular intervals, the process can be modeled using a suitable base. For instance, a bacterial culture that doubles every three hours follows the model n(t)=n0⋅2t/3, where n(t) is the population at the time t.A more general model uses the natural base e, especially for continuous growth. This takes the form n(t)=n0⋅ert, where r is the relative...
01:25Modeling with Differential Equations
Population dynamics can be described mathematically by considering the population size P(t) as a function of time. The rate of change of the population is then represented by the derivative of P(t). A simple assumption is that the rate of growth is proportional to the size of the population itself. This leads to an exponential growth model, where the population increases rapidly without bound. While this is a useful first approximation, it does not reflect realistic long-term...