circom
circomlib
Our great sponsors
circom | circomlib | |
---|---|---|
5 | 2 | |
1,178 | 566 | |
5.4% | 4.1% | |
8.9 | 0.0 | |
5 days ago | 4 months ago | |
WebAssembly | 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.
circom
-
What version to assign git dependencies when publishing crates
[package] name = "circom-lsp" version = "0.1.0" edition = "2021" authors = ["rubydusa "] license = "GPL-3.0 license" description = "LSP server for Circom" homepage = "https://github.com/rubydusa/circom-lsp" repository = "https://github.com/rubydusa/circom-lsp" [dependencies] tower-lsp = "0.19.0" # lalrpop-util in this specific version required for circom parser to work lalrpop-util = { version = "0.19.9", features = ["lexer"] } circom_parser = { git = "https://github.com/iden3/circom", package = "parser", rev = "ce903c6" } circom_type_checker = { git = "https://github.com/iden3/circom", package = "type_analysis", rev = "ce903c6" } circom_structure = { git = "https://github.com/iden3/circom", package = "program_structure", rev = "ce903c6" } ropey = "1.6.0" tokio = { version = "1.26.0", features = ["rt-multi-thread", "macros", "io-std"] } codespan-reporting = "0.9.0" itertools = "0.10.5" num-traits = "0.2.6" tempfile = "3"
-
Zero-Knowledge Proofs Using SnarkJS and Circom
git clone https://github.com/iden3/circom.git cd circom cargo build --release cargo install --path circom
-
ZKu Week 1: Introduction to ZKP
This library uses the compiled circuits generated by the circom compiler.
- Jump Trading Sues 79-Year-Old Carl Sagan Fan over Wormhole.com Domain
-
Hello, I am a blockchain engineer with several years of experience. Anyone interested in getting into the world of blockchain development can book a meeting with me to AMA 1on1 for 15 minutes
My current work involves zero-knowledge proofs technology, quite an interesting thing and very similar to writing VHDL code. The language we use for zero-knowledge proofs is circom, compiler here: https://github.com/iden3/circom and the code written in circom is called circuits which is very similar to coding for FPGA platforms.
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?
phase2-bn254
halo2 - The Halo2 zero-knowledge proving system
snarkjs - zkSNARK implementation in JavaScript & WASM
circomlibjs - Javascript library to work with circomlib circuits
perpetualpowersoftau - New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
ZoKrates - A toolbox for zkSNARKs on Ethereum
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.
cairo-lang
tornado-core - Tornado cash. Non-custodial private transactions on Ethereum.
noir - Noir is a domain specific language for zero knowledge proofs
halo2