snarkjs
circomlibjs
Our great sponsors
snarkjs | circomlibjs | |
---|---|---|
6 | 2 | |
1,667 | 73 | |
2.5% | - | |
7.5 | 4.7 | |
5 days ago | 3 days ago | |
JavaScript | JavaScript | |
GNU General Public License v3.0 only | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
snarkjs
-
Building your first ZK program on Solana
git clone https://github.com/iden3/snarkjs cd snarkjs npm ci cd ../simple-zk
-
snarkjs VS tornado-nova - a user suggested alternative
2 projects | 30 Jun 2023
-
Zero-Knowledge Proofs Using SnarkJS and Circom
The generated wasm and r1cs files are available in the build folder. To generate the proof, we need a proving key file, and to generate this file, we need a ptau file. This ptau file can be generated by snarkjs, or you can download a pregenerated one (you can find the links in the snarkjs repo). For testing, the generated one is good for us, but in your production app, it’s recommended to do the ceremony and generate your own ptau file. (You can read about it in my previous article.)
-
ZKu Week 1: Introduction to ZKP
Their goal was to teach how to use Circom to build zero-knowledge circuits and SnarkJS to compile them into solidity smart contracts.
-
Side Project Ideas for 70 Apps That Don't Exist, that People Would Actually Use (New: $100 Bounties Each!)
Oh yeah, this is a known issue with windows; it's perfect on Mac. Do the steps here resolve it: https://github.com/iden3/snarkjs/issues/57 ?
-
Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game
The project mentions that it uses snarkjs and I thought I'd link it directy here. [1] What's interesting in the setup of systems like this one is the "Powers of Tau" ceremony which in decentralized manner (secure multi-party computation) avoid the "trusted setup" problem in non-interactive variants of zero knowledge proof systems like this one. [2]
[1] https://github.com/iden3/snarkjs
[2] https://github.com/ebfull/powersoftau
circomlibjs
-
How to Implement a ZK rollup
The advantage of SMT over the general Merkle tree is that it not only allows us to provide an inclusion proof but also an exclusion proof. This means that we can prove that a tree does not contain a value for the given key. Thanks to this, we can prove any operation (insert, delete, update), which will be a very important property of our rollup. Fortunately, Circomlib (and CircomlibJS) includes an SMT implementation, so we do not need to implement this ourselves.
-
Zero-Knowledge Proofs Using SnarkJS and Circom
Circomlib has a JS implementation that can be used for this. Let’s install it:
What are some alternatives?
powersoftau - Communal zk-SNARK MPC for Public Parameters
circomlib - Library of basic circuits for circom
phase2-bn254
tornado-core - Tornado cash. Non-custodial private transactions on Ethereum.
circom - zkSnark circuit compiler
ideas-for-projects-people-would-use - Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.
zksnark-tutorial - JavaScript tutorial for Zero-Knowledge Proofs using SnarkJS and Circom
webpack - A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the application on demand. Through "loaders", modules can be CommonJs, AMD, ES6 modules, CSS, Images, JSON, Coffeescript, LESS, ... and your custom stuff.
mini-zk-rollup - Minimalistic zk rollup implementation with Sparse Merkle Tree and EdDSA signatures
perpetualpowersoftau - New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
rapidsnark - rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.