#snarkjs search results

Diving deep into zero-knowledge proofs. Started building circuits in Circom and generating proofs with snarkjs. Working through signal constraints, R1CS, and witness generation—finally grasping how zk-SNARKs encode logic into verifiable computation. #ZKP #Circom #snarkjs #crypto

#SnarkJS: This library from $Mina supports developers in building decentralized applications using #zkSNARKs and #Pickles, simplifying interaction with Mina Protocol features.

On the second day of the company hackathon today. Write some circom2 circuits, got a trusted setup in place and all looking good. Sometimes having a math degree helps to stay on top of things, and today was one of those days Having tremendous fun #zk #snarkjs #circom

SnarkJs (JavaScript and Pure Web Assembly implementation of zkSNARK and PLONK schemes) code uses sha256.circom circuit to create and verify proof with a smaple input check for sha267 pre-image is performed too #zk #PIVX #snarkjs #sha256 zkbitcoin.com/zk?algorithm=S…

Seamless Workflow: Unlike rapidsnark, Tachyon doesn't require you to run any additional programs to generate a circom proof. No need for #snarkjs for witness file generation.

Flujo de generación una simple prueba de conocimiento cero con #snarkjs, #circom, #groth16 y verificando on-chain, (en #blockchain) con un smart contract en #solidity.

3/5 The vulnerability allowed attackers to forge multiple proofs that passed verification, enabling double-spending attacks. @Beosin_com promptly reported it, assisted in fixing the issue, and the vulnerability has now been patched. Upgrade to #SnarkJS 0.7.0 for security.

1/5🚨 @Beosin_com discovered a vulnerability in #Circom verification library (CVE-2023-33252) and warns #ZK projects about the associated risks. Circom is a Rust-based compiler for zero-knowledge proof circuits, developed alongside the #SnarkJS library. @identhree

You can create your own trusted setup by downloading an already well defined #mpc from GitHub, creating your own encrypted contribution, and using that new secret for running your own circuits locally and for your app. You can use a lib like #snarkjs to choose your hashing algo

snarkjs documenation is a joy to work with. I wish everyone else would put as much effort in these things #snarkjs #circom

1/5 FFLONK is already available in #snarkJS ! First of all, I would like thank you 🙏 to @rel_zeta_tech and @Zac_Aztec from @aztecnetwork for creating this amazing protocol. FFLONK is a zkSNARK protocol like GROTH16 or PLONK with the following advantages:

We are proud to release #snarkjs and #circom compatible #zkSNARK enabled contracts for $EOS. Follow our tutorial to create and verify your first zero knowledge proof on EOS in less than ten minutes! youtu.be/Y3g47h8vphQ @EOS_Nation @EosSweden @EOS_CryptoLions @bytemaster7

#circom circuit with #snarkjs to create zk-snark. Below circuit checking constraints on personal info - like - age, income level, occupation type. No personal info stored on #blockchain . zeroPartyData project creates proof (signature) that can be verified on #Polygon blockchain

However with input with same values and constraint workEqual.out === 1; gives error [ERROR] snarkJS: Error: Scalar size does not match 2/2 #zksnark #circom #snarkjs

目前国内参考的经典教程是 circom 老版的（2020 年 4 月的文章），而现在 circom 也升级到了 circom2，新的 circom2 编译器是通过 rust 生成的。 在本教程中，我们参考@identhree官方最新教程文档，将指导你使用 #circom2 和 #snarkjs 库创建和执行你的第一个零知识证明。w3hitchhiker.mirror.xyz/BHJ9fqXMABXspa…

I would like your little attention for one @gitcoin GP14. #phated The Legend of Dark Forest which you can meet play official round, he continue on his great way to give us more fun, security, stability and progres on #snarkjs #circom support him pls! gitcoin.co/grants/4213/bl…

github.com/o1-labs/ocamlb… via #snarkjs #ocaml #reasonml

1/5 FFLONK is already available in #snarkJS ! First of all, I would like thank you 🙏 to @rel_zeta_tech and @Zac_Aztec from @aztecnetwork for creating this amazing protocol. FFLONK is a zkSNARK protocol like GROTH16 or PLONK with the following advantages:

I just discovered this really interesting paper! A groth16 like protocol that solves the malleability problem keeping the performance of the verifier in just 3 pairings and 1 equation... Planning to implement it it in #snarkJS and #webSNARK !! eprint.iacr.org/2019/586

#circom circuit with #snarkjs to create zk-snark. Below circuit checking constraints on personal info - like - age, income level, occupation type. No personal info stored on #blockchain . zeroPartyData project creates proof (signature) that can be verified on #Polygon blockchain

After that, we used the #SnarkJS framework to convert this #circom code into two things: - a ZK-proof generator - a ZK-proof verifier 7/12

Flujo de generación una simple prueba de conocimiento cero con #snarkjs, #circom, #groth16 y verificando on-chain, (en #blockchain) con un smart contract en #solidity.

As for the ZK-proof verifier, #SnarkJS has a functionality to generate a verifier as #Solidity code. Making it very easy to deploy it to any EVM, such as @AuroraChain_EN in this case. This generated code makes heavy usage of Yul for low-level assembly opcodes. 9/12

@ethereumRT @jbaylina: I just published github.com/iden3/rapidsna… A CPU zkSnark prover, compatible with #circom and #snarkjs . It can generate 128M constraints proofs in less than 2min in a 64 core processor. This is an important piece for @hermez_network #rollup and for #ethereu…