嵌入式设备硬件和软件安全设计

zkML-JOLT——更快的ZK隐私机器学习：Sumcheck +Lookup

苹果生态的机器学习和同态加密

zkML零知识机器学习介绍

ZKML：ZK+机器学习

智能卡应用协议数据单元（APDU）

1. 引言参考资料[1] Getting started with OpenCL and GPU Computing[2] Introduction to GPU Computing with OpenCL[3] OpenCL™ Programming Guide for the CUDA™ Architecture[4] CUDA Tutorial

1. Discrete logarithm problemDLP: discrete logarithm problemCDH: computational Diffie-Hellman problemSDH: static Diffie-Hellman problemgap-CDH: Gap Diffie-Hellman problemDDH: decision Diffie-Hellman p

Laurent polynomial劳伦特多项式的系数pkp_kpk​，pk∈Fp_k\in Fpk​∈F，F为域，kkk为整数（可为正数和负数），具体可表示为：p=∑kpkXk=p−kX−k+p−(k−1)X−(k−1)+...+p0+p1X+...+pkXkp=\sum_{k} p_kX^k=p_{-k}X^{-k}+p_{-(k-1)}X^{-(k-1)}+...+p_0+p_1X+....

1. 引言Groth 2016年论文《On the Size of Pairing-based Non-interactive Arguments》。相关代码实现有：https://github.com/matter-labs/bellmanhttps://github.com/zkcrypto/bellmanhttps://github.com/arkworks-rs/groth16本文主要关注