“Microsoft宣布推出一种高效且通用的零知识证明技术方案Spartan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明，是首个无需做可信设置的zkSNARK方案。”
微软浏览器Microsoft Edge现已支持欧易插件钱包:据欧易OKX官方消息，微软浏览器Microsoft Edge现已支持欧易Web3插件钱包，是为数不多Microsoft Edge支持的Web3插件钱包。用户可通过Microsoft Edge安装、使用欧易Web3插件钱包。
上周，微软完成了对一家专注Web3游戏公司的投资。微软游戏公司首席执行官Phil Spencer表明公司打算扩大对web3的参与。[2022/11/17 13:17:01]
本文介绍了Spartan，这是用于rank-1约束满足性的零知识简洁非交互式知识参数家族中的一位新成员，R-1CS是一种可归纳算术电路可满足性的NP完备语言。Spartan包含了一项独特功能，它为NP提供了第一个没有受信任设置的zkSNARK，验证证明时会产生亚线性成本，无需NP语句结构的一致性。此外，Spartan还为zkSNARK提供了一种时间最佳证明者。
iExec 与微软 Azure达成合作，利用 SGX 来保护机器学习代码和数据:11月5日消息，分布式云计算平台 iExec 云算宝与微软云计算平台 Azure 就发展“机密计算”达成合作伙伴关系，iExec 利用英特尔软件防护扩展（SGX）来保护机器学习中的敏感代码和数据。iExec 信息安全总监 Zhang Lei 谈到：Azure 机密计算通过保护使用中的数据有效地解决了安全问题。iExec 利用英特尔 SGX，使珍贵数据在广泛共享和使用的同时，还能保护其隐私和所有权。iExec 将这些独特的功能结合在一起，使人工智能开发者能够保护他们的知识产权，同时为人工智能开发者创造新的经济机会。[2021/11/5 21:28:36]
为了实现这些结果，我们引入了新的技术，这些技术与总和检查协议进行结合：（
动态 | 前微软员工被控参与盗取1000万美元数字货币:据ctvnews报道，一名前微软员工被控参与盗取1000万美元数字货币。美国西雅图检察官办公室表示，25岁的乌克兰公民Volodymyr Kvashuk帮助测试了微软的在线零售平台。他被控盗窃电子货币，于周二被捕。[2019/7/17]
计算commitment，一种用于创建对计算描述的简洁commitment的原语；该技术对于验证者在投资一次的公共计算以预处理给定的NP语句之后获得亚线性成本至关重要；
SPARK，一种将所有现有的可提取多项式commitment方案转换为有效处理稀疏多线性多项式的密码编译器。该技术对于实现时间最优证明者至关重要。
将R-1CS的压缩编码为低次多项式。最终结果是NP的公共代币简洁的交互式知识参数；我们使用现有技术将其转换为zkSNARK。
通过将SPARK应用于不同的commitment方案，我们获得四个zkSNARK，其中验证者的成本和证明大小取决于基础commitment方案到O）。这些方案中的三种不需要可信的设置，而一种方案则需要通用且可更新的一次性可信设置。
通过约8,000行Rust语言代码，我们将Spartan作为一个库来实现。我们使用该库在随机预言模型中构建一种透明的zkSNARK，其中安全性在离散对数假设下成立。我们通过实验对其进行评估，并将其与最新的zkSNARKs进行比较，以将R1CS实例的大小限制为大约2^{20}。在没有受信任设置的方案中，Spartan可以提供最快的证明者，依据基准线的加速比为大约36-152倍，产生的证明短于1.2–416倍，并且以3.6–1326倍的速度提升产生最少的验证时间。与具有受信任设置的最新zkSNARK相比，Spartan的证明者对于任意R1CS实例的速度快2倍，对于数据并行工作负载的速度快16倍。
《SpartanzkSNARK库》下载
由于新冠肺炎疫情对全球经济造成的无情冲击,过去6个月来,传统股票和大宗商品市场产生了剧烈波动。Coinshares本周发布了一份关于比特币在新冠疫情爆发期间表现的综合报告.
1900/1/1 0:00:00“2020年什么也没干,光见证历史了。”见证历史这件事,对于现实世界的人而言如此,对于加密世界的从业者更是如此.
1900/1/1 0:00:00在近来大热吸睛的DeFi版块中,预言机项目Chainlink的代币Link无疑是最耀眼的主角——一个月内涨幅高达250%,6号以来日线更是几乎走出了90°的步伐.
1900/1/1 0:00:00据TheBlock7月15日报道,专注于加密货币行业的保险服务公司Evertas完成280万美元种子轮融资.
1900/1/1 0:00:00来源：金色财经,作者：TaylorW据Cointelegraph7月21日消息,俄罗斯“关于数字金融资产”的加密法案的最新版本并未将加密货币使用定为犯罪.
1900/1/1 0:00:00DeFi在2020年突然走红,过高的涨幅,不断的安全问题,众多资本的进入会把DeFi推向何方？未来又有哪些方向更值得我们关注？LLab携手比原高级研究员马烈一起为大家解答.
1900/1/1 0:00:00
火星链