LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

电路板上cny1

1. 数字货币蓬勃发展如何面对主流比特币交易所

...,前期不仅最早上线ETH、EOS,XRP等主流币种,而且还推出了独有的QC币(与CNY1:1的兑换),有了QC交易区后,投资者看价格再也不用看美元的“脸色”了,从而造就了国人的习惯。俗话说的好:北方有鹰南方有隼。中币一如既往地独治其身以立于世间,不失其操,可以说是闻名一方的南方霸主。随着经...

知识:数字货币,币种,合约交易,中币

2. 观察|四川集成电路和区块链产业发展提质加速

...进出口主导地位。2020年,四川出口机电产品4082.4亿元,增长27.5%,其中集成电路970.2亿元,增长17.8%。2020年,四川进口机电产品3097.1亿元,增长23.2%,其中集成电路2220.9亿元,增长30.4%。通过数据解析,可以看出2020年四川省外贸发展表现出了较强的韧性和抗风险能力,进出口规模创历史新高。细分下去,...

知识:区块链,集成电路,智能合同,私钥

3. 安全多方计算之混淆电路

混淆电路(Garbled Circuit),又称姚氏电路(Yao’s GC)是由姚期智教授于1986年针对百万富翁问题提出的解决方案。导读:混淆电路(Garbled Circuit),又称姚氏电路(Yao’s GC)是由姚期智教授于1986年针对百万富翁问题提出的解决方案。它的核心技术是将两方参与的安全计算函数编译成布尔电路的形式,并将真值表加密...

知识:安全多方计算,火星号文章,火星财经资讯

4. 道科创集成电路独立测试行业或许是下一个机遇

...(简称:利扬芯片)的上市申请通过上交所受理,它是目前国内最大的集成电路测试民营企业之一。近年来,随着人工智能、物联网、北斗导航、5G基站、汽车电子等市场的高速发展,芯片需求与日俱增,集成电路行业迎来了爆发式增长,而专业分工模式市场份额将增大,进而使得独立第三方测试企业...

知识:测试,集成电路,芯片,比特

5. 干货 | zkEVM:设计挑战与解决思路

...以通过以下两种方法在 zk-Rollup 内构建通用 dApp:一种是为不同 dApp 构建专用电路(“ASIC”)。另一种是构建通用 “EVM” 电路用于执行智能合约。“电路(circuit)” 指的是零知识证明中使用的程序表示。例如,如果你想要证明 hash(x) = y,你需要使用电路形式重新编写哈希函数。电路形式只支持非常有...

知识:以太坊,zkRollup

6. zkEVM 设计构想:如何运作?有哪些挑战?还能带来什么?

...以通过以下两种方法在 zk-Rollup 内构建通用 dApp:一种是为不同 dApp 构建专用电路(「ASIC」)。另一种是构建通用 「EVM」 电路用于执行智能合约。 >「电路(circuit)」 指的是零知识证明中使用的程序表示。例如,如果你想要证明 hash(x) = y,你需要使用电路形式重新编写哈希函数。电路形式只支持非...

知识:Vitalik Buterin,Layer 2,EVM,zk

7. 浅谈零知识证明:简短无交互证明(SNARK)

...计算空间之后,我们就可以真正开始SNARK的搭建了。 第二步:构建数学运算电路(Arithmetic Circuit) 当我们找到一个数字空间之后,我们下一步要做的事情,就是要把我们想要证明解决的问题用数学运算电路表示出来。什么是数学运算电路呢?我们先来看一看传统的逻辑电路。上图表述的是一个与非门...

知识:区块链技术,零知识证明

8. 第三届集成电路“创业之芯”大赛在福建晋江启动

11月12日上午,第三届集成电路“创业之芯”大赛启动仪式在福建晋江举行。本届大赛由工业和信息化部人才交流中心主办,晋江市人民政府承办,智芯国信运营,福建省集成电路产业园区建设筹备工作组、泉州半导体高新技术产业园区晋江分园区管理委员会、IEEE中国代表处、晋江市集成电路科技投资有限责...

知识:集成电路,晋江,大赛,副主任

9. 2021年昆明市集成电路行业如何利用税收优惠政策减轻税负压力

2021年昆明市集成电路行业如何利用税收优惠政策减轻税负压力1958年,美国一个仪器公司发明了全球的第一块集成电路后,随着硅平面技术的发展,创造了一个前所未有的,集聚极强渗透力和旺盛生命力的新兴产业——集成电路。所谓的集成电路是采用半导体的制作工艺,在一块较小的单晶硅片上,制...

知识:集成电路,资金,企业,地方

10. 他山之石 | 如何用 ZK 可利用性证明重塑漏洞披露方式?

...明投入实践的主要障碍。大多数传统的 ZK 协议要求底层语句必须首先用布尔电路(Boolean circuit)或无循环的运算电路(即组合电路)来表示。对于布尔电路,可以用 AND 门、NOT 门和 XOR 门,而对于运算电路,可以用 ADD 门和 MULT 门可以想象,要想把一个要证明的语句转换成这样的电路并不容易,如果还...

知识:零知识证明,技术,安全,密码学

11. 临港芯片项目投资超1600亿,建国家集成电路综合产业基地

...,新片区将以建设“东方芯港”为契机,构建全品类、全产业链的国家集成电路综合产业基地。自2019年8月20日挂牌以来,临港新片区已累计签约各类产业项目289个,涉及总投资2528亿元。其中,无论是落地企业数量还是投资规模,集成电路产业都排在首位。目前集成电路在新片区落地企业数占四分之一...

知识:临港,芯片,项目投资,超,1600亿,建,国家,6月,

12. Vitalik Buterin:简述密码学混淆电路的运行方式

读懂安全多方计算的简化版本:混淆电路。</blockquote>原文标题:《Vitalik:混淆电路(Garbled circuits)快速入门》 撰文:Vitalik Buterin 翻译:洒脱喜 来源:巴比特特别感谢 Dankrad Feist 对本文进行的审阅工作。混淆电路(Garbled circuits)是一种非常古老,且非常简单的密码学原语。它们很可能是通用「多方计...

知识:Vitalik Buterin,技术,密码学,MPC

13. 一文读懂PlatONE

...?前,安全两?计算协议的主流设计框架仍基于姚期智先?最早提出的基于加密电路的两?计算通?协议,并由Beaver、Micali和Rogaway进?步扩展到多?计算。Yao基本协议的核?技术是加密电路(Garbled Circuit,简称GC)和不经意传输(Oblivious Transfer,简称OT)。为了更好地满?在?融等领域的应?需求,PlatONE引?了对国密算...

知识:合约,智能合约,合约地址,联盟链

14. 零知识证明——基于libsnark的电路构造及证明示例

...了SNARK相关算法的全貌,各种Relation,Language,Proof System。为了更好的生成R1CS电路,libsnark抽象出protoboard和gadget,方便开发者快速搭建电路。在阅读该示例代码前,请仔细阅读libsnark的源代码分析:零知识证明 - libsnark源代码分析唯一有点遗憾的,libsnark没有给个完整的电路构造实例,入门者想搭建自己的...

知识:电路,函数,路径,默克尔

15. Vitalik:混淆电路(Garbled circuits)快速入门

...坊联合创始人Vitalik Buterin。特别感谢Dankrad Feist对本文进行的审阅工作。混淆电路(Garbled circuits)是一种非常古老,且非常简单的密码学原语。它们很可能是通用“多方计算”(MPC)的最简单形式。以下是该方案的常规设置: 假设存在两方,爱丽丝(Alice )和鲍勃(Bob),他们想要计算一些函数f(alice_in...

知识:以太坊,MPC,混淆电路