circom

ZKP Nova Scotia: Middleware to compile Circom circuits to Nova prover

NovaScotia:MiddlewaretocompileCircomcircuitstoNovaprover[Reference:https://github.com/nalinbhardwaj/Nova-Scotia]Mydevice:MacbookPro2020withIntelchipgitclonehttps://github.com/nalinbhardwaj/Nova-Scotia

Simba17·2023-12-24 23:16

Polygon zkEVM Merkle tree的circom约束

1.引言前序博客有：PolygonzkEVM中的MerkletreePolygonzkEVM中Goldilocks域元素circom约束代码见：https://github.com/0xPolygonHermez

mutourend·2023-11-20 10:16

Polygon zkEVM FFT和多项式evaluate计算的circom约束

1.引言前序博客：PolygonzkEVM中Goldilocks域元素circom约束代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main

mutourend·2023-11-20 10:46

Polygon zkEVM中Goldilocks域元素circom约束

PolygonzkEVM中Goldilock域元素circom约束，代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main/circuits.gl2

mutourend·2023-11-20 10:16

Polygon zkEVM工具——PIL和CIRCOM

1.引言前序博客有：ZK-Rollups工作原理PolygonzkEVM——Hermez2.0简介PolygonzkEVM网络节点PolygonzkEVM基本概念PolygonzkEVMProver2022年8月8日JordiBaylina（Iden3合伙人，PolygonHermezzkEVM技术负责人）在Zcon3分享ToolingforbuildingzkEVM:PILandCircom-J

mutourend·2023-11-20 10:42

ZKP3.1 Programming ZKPs (Implement Sudoku on Circom)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture3:ProgrammingZKPs(GuestLecturers:PratyushMishraandAlexOzdemir)UsingZKP3.1BigPicture:ZKPprogrammabilityZKPsforapredicateϕ\phiϕInpractice,ϕ\phiϕisan“arithmeticcircuit”ov

Simba14·2023-10-30 03:11

Private market：借助ZK实现的任意计算的trustless交易

开源代码实现见：https://github.com/dmpierre/eth-private-market（Circom、TypeScript

mutourend·2023-08-31 05:06

ZK Proof of Email：通往decentralized identity之路

开源代码见：https://github.com/zk-email-verify（Rust+JavaScript）【借助Halo2/Circom/Snarkjs】Demo体验见：https://zkemail.xyz

mutourend·2023-08-03 19:40

ZKP+图片授权——PhotoProof：proofs of permissible photo edits

开源代码实现为：https://github.com/TrishaDatta/circom-circuits（circom）理想情况下，图像应包含地理位置和时

mutourend·2023-07-13 18:35

Nova-Scotia代码解析

Nova代码解析开源代码见：https://github.com/nalinbhardwaj/Nova-Scotia（JavaScript+Rust）Nova-Scotia定位为中间件，本质为：1）读取以Circom

mutourend·2023-07-13 18:05

ZKP应用：石头剪刀布游戏

1.引言开源代码见：https://github.com/spalladino/zkp-tests对比了分别使用：Iden3团队的circom语言（易于学习ZKP）ZCash团队的Halo2框架Aztec

mutourend·2023-06-22 16:53

The Goldilocks Prime

1.引言前序博客有：Goldilocks域rescue-prime：基于Goldilocks域的Rescue-Prime哈希函数加速PolygonzkEVM中Goldilocks域元素circom约束MIkeHamburg2015

mutourend·2023-01-20 14:18

Polygon zkEVM R1CS与Plonk电路转换

rank-1constraintsystemR1CS由上图可知，zkEVM会借助SNARK来“验证（（验证STARK证明）的SNARK证明）”：1）将STARKproof的约束系统evm.pil经pil2circom

mutourend·2023-01-20 14:18

PrivacIN Week4课程回顾 | ZK应用实践

本期课堂由资深隐私开发工程师KelvinWong讲授，主要介绍Circom电路开发和ZK应用实践。

·2022-10-31 09:03

渔船监管的零知识证明zk-snark实战

在这个教程中，我们将利用zksnark来实现一个具体的NodeJS零知识证明应用：渔船无需透露自己的具体位置，就可以向监管机构证明自己处于划定的合法捕捞区内——我们的主要武器是snarkjs和circom

新缸中之脑·2020-09-10 17:05

以太坊零知识证明DApp开发教程

在这个教程中，我们将学习如何开发一个基于以太坊的零知识身份证明DApp，学习如何开发Circom零知识电路、如何生成并方法Solidity零知识验证智能合约，以及如何利用Javascript在链下生成零知识证据

新缸中之脑·2020-09-10 17:05

ZK应用开发新手教程【零知识证明】

过去的一年出现了很多零知识证明应用，在这个教程中，我们将首先学习零知识证明的基本概念、使用circom搭建算术电路、使用snarkjs实现零知识证明的全过程，并利用这些知识实现二层扩容方案zkrollup

新缸中之脑·2020-09-10 10:09

使用nodejs与sanrkjs生成零知识证明并进行验证

版本"circom":"0.0.35","circomlib":"0.0.20","snarkjs":"0.1.20"源码genKeypair.jssetup，生成pk和vkconst{compiler

apianmuse·2020-08-13 09:05

使用truffle生成circom mimc合约

目录初始化添加合约添加迁移脚本remix测试circom是一种用于编写零知识证明的算术电路的语言。

apianmuse·2020-08-10 15:13

Circom and Snarkjs，基于以太坊的零知识证明实现

CircomisaDSLlanguagetocreategenericstatments(circuits)tobeusedinzeroknowledgeproofs.SnarkjsisanalternativeimplementationofzkSnarksPinoccioandGroth16protocols.Itallowstogenerateproofsandverifythemoffch

mutourend·2020-07-07 17:02

推荐频道