leonardoalt Goto Github PK
Name: Leo
Type: User
Company: @powdr-labs
Twitter: leonardoalt
Name: Leo
Type: User
Company: @powdr-labs
Twitter: leonardoalt
Tries to remove tuples from smtlib2 instances by flattening them.
BabyJubJub elliptic curve implementation in Rust
zk-SNARK library
Symbolic execution engine written in Solidity, based on Difference Logic.
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
A private zkVM basing on layered proof system
Overview of the formal verification projects in the Ethereum ecosystem.
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Simple EVM implementation in [no_std] Rust to be used in Powdr.
Rust implementation for zcash/pasta
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
Non-euclidian spherical space visualizer (and tentative shooter game).
Implementation of the Grumpkin curve in Rust.
Rust Poseidon implementation.
Nova: Recursive SNARKs without trusted setup
A toolkit for polynomial IOPs (PIOPs)
Polynomial Expression Engine
Poseidon hash function
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.