Topic: snark Goto Github
Some thing interesting about snark
Some thing interesting about snark
snark,Confidential Transaction with Collaborative Traceability, zk-zkRollup
Organization: 0xeigenlabs
snark,Javascript/NodeJS Plonk prover and verifier on bellman
Organization: 0xeigenlabs
snark,Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.
Organization: airchains-network
Home Page: https://www.airchains.io/
snark,CRS Registry of past SNARK ceremonies
User: antoinerondelet
snark,Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Organization: arkworks-rs
Home Page: https://www.arkworks.rs
snark,A library for decentralized private computation
Organization: arkworks-rs
Home Page: https://ia.cr/2018/962
snark,A Rust library for the preprocessing zkSNARK of Groth and Maller
Organization: arkworks-rs
Home Page: https://www.arkworks.rs
snark,A Rust implementation of the Groth16 zkSNARK
Organization: arkworks-rs
Home Page: https://www.arkworks.rs
snark,Implementation of incrementally verifiable ledger system
Organization: arkworks-rs
snark,Implementations of proof-carrying data
Organization: arkworks-rs
snark,A formal verification of Linear PCP SNARKs.
User: boltonbailey
snark,
User: bullet-tooth
snark,zero knowledge for those with zero knowledge
User: cawfree
Home Page: https://twitter.com/cawfree
snark,gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
Organization: consensys
snark,Halo2 Merkle tree circuits
User: drpetervannostrand
snark,Refactored zk-SNARK application code from the 2019 stark101 tutorial
User: duckki
snark,A range proof SNARK using Spartan.
User: ikhaliq15
snark,Shared peer-to-peer network of zero-knowledge provers
Organization: iosis-tech
Home Page: https://docs.zetina.iosis.tech/
snark,凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Organization: kogarashinetwork
Home Page: https://kogarashinetwork.github.io/
snark,Smart-contracts for the game of SNARKs
Organization: matter-labs-archive
snark,Batch verification proposal for the zkSNARK verification with the same(!) circuit
Organization: matter-labs-archive
snark,PoC of SNARK-driven Plasma with up to 500 tx/sec
Organization: matter-labs-archive
Home Page: https://demo.thematter.io
snark,A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Organization: matter-labs
snark,Lewis Carroll's The Hunting of the Snark in pantomime format
User: mikeralphson
Home Page: https://www.trelby.org/
snark,Pairing-Based Zero-Knowledge SNARK creation toolchain
User: mottla
snark,A compiler to turn GO code into a zkSNARK
User: mottla
snark,The Nexus zkVM: The zero-knowledge virtual machine
Organization: nexus-xyz
Home Page: https://docs.nexus.xyz
snark,VoteSAVER Protocol Implementation
Organization: nilfoundation
snark,crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
User: paynejoe
snark,Snark Library to find absolutely everything from Zero-Knowledge SNARK
User: rafablockdev
snark,Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
Organization: ringsnetwork
snark,Halo2 gadgets for verifying plonky2/starky proofs (WIP)
User: shuklaayush
snark,implementing PLONK according to the original paper
User: tobias-rothmann
snark,A new type of zk-EVM for L2 rollup
Organization: tokamak-network
snark,A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.
User: toonsegers
snark,STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
User: victorcolomb
snark,零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Organization: wtfacademy
snark,A database being built for the Amoveo blockchain.
User: zack-bitcoin
Home Page: https://github.com/zack-bitcoin/amoveo
snark,Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Organization: zkcollective
Home Page: https://www.zk-bench.org/
snark,A toolbox for zkSNARKs on Ethereum
Organization: zokrates
Home Page: https://zokrates.github.io
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.