snarkjs
circomlib
Our great sponsors
snarkjs | circomlib | |
---|---|---|
6 | 2 | |
1,667 | 566 | |
2.5% | 4.1% | |
7.5 | 0.0 | |
5 days ago | 4 months 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
circomlib
-
A beginner's intro to coding zero-knowledge proofs
I found Circom to be the best language to start learning ZKPs, as suggested by CyberPorter. To me, Circom has the ideal level of abstraction for learning: not too high level that it abstracts away some of the quirks of ZKP, and not too low level that you get bogged down in annoying details. It also has been around for quite some time (modulo how new everything ZK is!), so you can find more documentation and samples, as well as the awesome Circom workshops from 0xparc. Last but not least, there is circomlib, a library of common building blocks for Circom.
-
Zero-Knowledge Proofs Using SnarkJS and Circom
The other thing we need is the circomlib. Circomlib is a programming library with many useful predefined circuits. So, create an empty project, and install circomlib using this code:
What are some alternatives?
powersoftau - Communal zk-SNARK MPC for Public Parameters
halo2 - The Halo2 zero-knowledge proving system
phase2-bn254
circomlibjs - Javascript library to work with circomlib circuits
circom - zkSnark circuit compiler
ZoKrates - A toolbox for zkSNARKs on Ethereum
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.
cairo-lang
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.
perpetualpowersoftau - New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
noir - Noir is a domain specific language for zero knowledge proofs