混淆电路(Garbled Circuit),又称姚氏电路(Yao’s GC)是由姚期智教授于1986年针对百万富翁问题提出的解决方案。导读：混淆电路(Garbled Circuit),又称姚氏电路(Yao’s GC)是由姚期智教授于1986年针对百万富翁问题提出的解决方案。它的核心技术是将两方参与的安全计算函数编译成布尔电路的形式，并将真值表加密...
知识:安全多方计算,火星号文章,火星财经资讯
...进出口主导地位。2020年，四川出口机电产品4082.4亿元，增长27.5%，其中集成电路970.2亿元，增长17.8%。2020年，四川进口机电产品3097.1亿元，增长23.2%，其中集成电路2220.9亿元，增长30.4%。通过数据解析，可以看出2020年四川省外贸发展表现出了较强的韧性和抗风险能力，进出口规模创历史新高。细分下去，...
知识:区块链,集成电路,智能合同,私钥
...（简称：利扬芯片）的上市申请通过上交所受理，它是目前国内最大的集成电路测试民营企业之一。近年来，随着人工智能、物联网、北斗导航、5G基站、汽车电子等市场的高速发展，芯片需求与日俱增，集成电路行业迎来了爆发式增长，而专业分工模式市场份额将增大，进而使得独立第三方测试企业...
知识:测试,集成电路,芯片,比特
...了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成R1CS电路，libsnark抽象出protoboard和gadget，方便开发者快速搭建电路。在阅读该示例代码前，请仔细阅读libsnark的源代码分析：零知识证明 - libsnark源代码分析唯一有点遗憾的，libsnark没有给个完整的电路构造实例，入门者想搭建自己的...
知识:电路,函数,路径,默克尔
11月12日上午,第三届集成电路“创业之芯”大赛启动仪式在福建晋江举行。本届大赛由工业和信息化部人才交流中心主办,晋江市人民政府承办,智芯国信运营,福建省集成电路产业园区建设筹备工作组、泉州半导体高新技术产业园区晋江分园区管理委员会、IEEE中国代表处、晋江市集成电路科技投资有限责...
知识:集成电路,晋江,大赛,副主任
...，新片区将以建设“东方芯港”为契机，构建全品类、全产业链的国家集成电路综合产业基地。自2019年8月20日挂牌以来，临港新片区已累计签约各类产业项目289个，涉及总投资2528亿元。其中，无论是落地企业数量还是投资规模，集成电路产业都排在首位。目前集成电路在新片区落地企业数占四分之一...
知识:临港,芯片,项目投资,超,1600亿,建,国家,6月,
...计算空间之后，我们就可以真正开始SNARK的搭建了。 第二步：构建数学运算电路（Arithmetic Circuit） 当我们找到一个数字空间之后，我们下一步要做的事情，就是要把我们想要证明解决的问题用数学运算电路表示出来。什么是数学运算电路呢？我们先来看一看传统的逻辑电路。上图表述的是一个与非门...
知识:区块链技术,零知识证明
2021年昆明市集成电路行业如何利用税收优惠政策减轻税负压力1958年，美国一个仪器公司发明了全球的第一块集成电路后，随着硅平面技术的发展，创造了一个前所未有的，集聚极强渗透力和旺盛生命力的新兴产业——集成电路。所谓的集成电路是采用半导体的制作工艺，在一块较小的单晶硅片上，制...
知识:集成电路,资金,企业,地方
...明投入实践的主要障碍。大多数传统的 ZK 协议要求底层语句必须首先用布尔电路（Boolean circuit）或无循环的运算电路（即组合电路）来表示。对于布尔电路，可以用 AND 门、NOT 门和 XOR 门，而对于运算电路，可以用 ADD 门和 MULT 门可以想象，要想把一个要证明的语句转换成这样的电路并不容易，如果还...
知识:零知识证明,技术,安全,密码学
...以通过以下两种方法在 zk-Rollup 内构建通用 dApp：一种是为不同 dApp 构建专用电路（“ASIC”）。另一种是构建通用 “EVM” 电路用于执行智能合约。“电路（circuit）” 指的是零知识证明中使用的程序表示。例如，如果你想要证明 hash(x) = y，你需要使用电路形式重新编写哈希函数。电路形式只支持非常有...
知识:以太坊,zkRollup
...以通过以下两种方法在 zk-Rollup 内构建通用 dApp：一种是为不同 dApp 构建专用电路（「ASIC」）。另一种是构建通用 「EVM」 电路用于执行智能合约。 >「电路（circuit）」 指的是零知识证明中使用的程序表示。例如，如果你想要证明 hash(x) = y，你需要使用电路形式重新编写哈希函数。电路形式只支持非...
知识:Vitalik Buterin,Layer 2,EVM,zk
读懂安全多方计算的简化版本：混淆电路。</blockquote>原文标题：《Vitalik：混淆电路（Garbled circuits）快速入门》 撰文：Vitalik Buterin 翻译：洒脱喜 来源：巴比特特别感谢 Dankrad Feist 对本文进行的审阅工作。混淆电路（Garbled circuits）是一种非常古老，且非常简单的密码学原语。它们很可能是通用「多方计...
知识:Vitalik Buterin,技术,密码学,MPC
...?前，安全两?计算协议的主流设计框架仍基于姚期智先?最早提出的基于加密电路的两?计算通?协议，并由Beaver、Micali和Rogaway进?步扩展到多?计算。Yao基本协议的核?技术是加密电路（Garbled Circuit，简称GC）和不经意传输（Oblivious Transfer，简称OT）。为了更好地满?在?融等领域的应?需求，PlatONE引?了对国密算...
知识:合约,智能合约,合约地址,联盟链
...坊联合创始人Vitalik Buterin。特别感谢Dankrad Feist对本文进行的审阅工作。混淆电路（Garbled circuits）是一种非常古老，且非常简单的密码学原语。它们很可能是通用“多方计算”（MPC）的最简单形式。以下是该方案的常规设置： 假设存在两方，爱丽丝（Alice ）和鲍勃（Bob），他们想要计算一些函数f(alice_in...
知识:以太坊,MPC,混淆电路
...中国区块链研究院翻译转载在本文中，我们将简要介绍一下多方计算和混淆电路的背景知识，解释我们怎样使用 MPC （多方计算）技术来建立私人支付渠道，并讨论我们怎样选择合适的软件框架来实现我们的 MPC 协议。概述安全多方计算（MPC）技术能使彼此不信任的多方正确计算任何函数，同时还能保证...
知识:支付<div class="text-assistive">