Vitalik Buterin 通过 Vitalik Buterin 博客 这是 https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6 上帖子的镜像 这是一系列文章的第三部分，解释了如何zk-SNARKs 背后的技术有效；之前关于二次算术程序和椭圆曲线配对的文章是必读的，本文将假设您了解这两个概念。还假设您了解 zk-SNARK 是什么及其用途的基本知识。另请参阅 Christian Reitwiessner 的文章，了解另一项技术介绍。在之前的文章中，我们介绍了二次算术程序，
Vitalik Buterin 通过 Vitalik Buterin 博客 这是 https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627 上帖子的镜像 触发警告：数学。各种结构（包括确定性阈值签名、zk-SNARK 和其他更简单形式的零知识证明）背后的关键密码学原语之一是椭圆曲线配对。椭圆曲线配对（或“双线性映射”）是椭圆曲线用于加密应用（包括加密和数字签名）长达 30 年历史的最新成员；配对引入了一种“加密乘法”形式，极大地扩展了基于椭圆曲线的协议的功能。这样做的目的
Vitalik Buterin 通过 Vitalik Buterin 博客 这是 https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649 上帖子的镜像，最近人们对zk-SNARK 背后的技术，人们越来越多地试图揭开一些被许多人称为“月球数学”的东西的神秘面纱，因为它被认为是纯粹难以理解的复杂性。 zk-SNARK 确实很难掌握，特别是因为需要将大量的移动部件组合在一起才能使整个系统工作，但如果我们将技术一点一点地分解，那么
Beomni 是世界上最复杂的通用类人机器人，能够执行几乎无限数量的任务。 该机器人本周在纽约探索者俱乐部总部展出。 https://vimeo.com/691427676/244f601a71 2022 年 XNUMX 月，纽约。 Beyond Imagination, Inc. 正在制造仿人机器人，通过扩大全球就业机会来解决世界劳工危机。 “我们很高兴受邀在探索者俱乐部展示我们在 Beomni 的发展方面取得的进展。 Beomni 将成为地球内外探险者的绝佳交通工具！
