一种多项式代理模型方法,用于可验证的去中心化联合学习
Tan Li1, Samuel Cheng2, Tak Lam Chan3
1Centre for Advances in Reliability and Safety (CAiRS), Hong Kong, China. Tan.li@cairs.hk.
Scientific reports
|November 20, 2024
概括
ProxyZKP通过使用零知识证明和代理模型确保本地培训完整性来增强分散的联合学习. 这种新的框架提供了更快的证明生成,并保持了模型准确性与差异性隐私.
科学领域:
- 分布式计算 (Distributed Computing) 是一种分布式计算.
- 密码学 密码学 密码学 密码学
- 机器学习 机器学习
背景情况:
- 分散联合学习 (DFL) 增强了数据隐私,但在确保本地计算完整性方面面临挑战.
- 当前的完整性解决方案对于具有诸如随机脱落等非决定性元素的大型模型来说是复杂的.
研究的目的:
- 引入ProxyZKP,这是一个用于DFL可验证计算完整性的新框架.
- 解决现有方法在处理大规模,非决定性模型方面的局限性.
主要方法:
- ProxyZKP将零知识证明 (ZKP) 与多项式代理模型相结合,用于安全的梯度更新验证.
- 局部节点使用私有模型和代理模型来调解培训和交换更新.
- 差异隐私集成以减轻梯度反转攻击.
主要成果:
- ProxyZKP显著降低了计算负载,证明生成时间比zk-SNARKs和Bulletproofs快30-50%.
- 该框架通过单变量多项式分解展示了高的并行化潜力.
- 不同隐私集成保持了竞争模式的准确性,同时提高了安全性.
结论:
- ProxyZKP为DFL培训完整性提供了一个可扩展和高效的解决方案.
- 该框架特别适用于需要频繁更新和强大的可扩展性的场景.
- 在分散式学习中,ProxyZKP有效地平衡了隐私,完整性和性能.
相关概念视频
Model Approaches for Pharmacokinetic Data: Distributed Parameter Models
58
Pharmacokinetic models are mathematical constructs that represent and predict the time course of drug concentrations in the body, providing meaningful pharmacokinetic parameters. These models are categorized into compartment, physiological, and distributed parameter models.
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
58
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
41
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
41
Associative Learning
295
Associative learning is a fundamental concept in behavioral psychology, wherein a connection is established between two stimuli or events, leading to a learned response. This process is critical in understanding how behaviors are acquired and modified. Conditioning, the mechanism through which associations are formed, can be divided into two main types: classical conditioning and operant conditioning, each elucidating different aspects of associative learning.
Classical conditioning, also known...
Classical conditioning, also known...
295
Radical Chain-Growth Polymerization: Overview
2.4K
Chain-growth or addition polymerization is successive addition reactions of monomers with a polymer chain. In radical chain-growth polymerization, the reaction proceeds via a free-radical intermediate. The free radical is formed from radical initiators, which spontaneously generate free radicals by homolytic fission. Organic peroxides (such as dibenzoyl peroxide, as shown in Figure 1) or azo compounds are popular radical initiators. A low concentration ratio of radical initiator to monomer is...
2.4K
Linear Approximation in Frequency Domain
85
Linear systems are characterized by two main properties: superposition and homogeneity. Superposition allows the response to multiple inputs to be the sum of the responses to each individual input. Homogeneity ensures that scaling an input by a scalar results in the response being scaled by the same scalar.
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear....
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear....
85
Distributed Loads: Problem Solving
624
Beams are structural elements commonly employed in engineering applications requiring different load-carrying capacities. The first step in analyzing a beam under a distributed load is to simplify the problem by dividing the load into smaller regions, which allows one to consider each region separately and calculate the magnitude of the equivalent resultant load acting on each portion of the beam. The magnitude of the equivalent resultant load for each region can be determined by calculating...
624


