0xpolygonzero Goto Github PK
Name: Polygon Zero
Type: Organization
Bio: Polygon Zero develops tools for cryptographic verification of blockchain systems including STARKs for proving EVM Execution
Blog: https://mirprotocol.org/
Name: Polygon Zero
Type: Organization
Bio: Polygon Zero develops tools for cryptographic verification of blockchain systems including STARKs for proving EVM Execution
Blog: https://mirprotocol.org/
Simulation of several BFT consensus algorithms for benchmarking
This is a proof-of-concept implementation of Mir's Commitment Set storage model, which is based on the Modified Huffman coding.
Ethereum implementation on the efficiency frontier
An eth PoS devnet which is provable using the Polygon Type1 Prover
Various debugging tools for working with tries for `eth_trie_utils`.
Proving historical Ethereum transactions using the Plonky2 zkEVM
Types and utility functions for building/working with partial Ethereum tries
Parser and test runner for testing compatable common Ethereum full node tests against Polygon Zero's EVM.
Early prototype.
Local jerigon network and smart contracts used to generate input for zero_bin/zk_evm
Number theoretic functions, such as primality testing and factorization, for BigUints
Bringing divine order to remote task execution.
Recursive SNARKs based on Plonk and Halo
Generates block proofs from proof IR
Logic for parsing a block trace for edge into txn generation payloads for plonky (2 & 3).
ECDSA gadgets for plonky2
list-insertion gadget for plonky2
Plonky2 Semaphore example for ZKHack
u32 arithmetic gadgets for plonky2
permutation gadgets using the Waksman network for plonky2
Common protocol for generating ZK proofs for blocks on different blockchains.
A Rust library for building R1CS gadgets
Bellman backend for the r1cs crate
Notes for the R1CS programming workshop at ZK0x04
Compiles r1cs gadgets to the zkinterface format
Utilities related to the Sparse Merkle Tree used for type2 provers
An obsolete zkVM from Polygon Zero
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.