feltroidprime Goto Github PK
Name: feltroid Prime
Type: User
Bio: slt
Twitter: feltroidprime
Location: France
Name: feltroid Prime
Type: User
Bio: slt
Twitter: feltroidprime
Location: France
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A comprehensive library for Cairo 🐺
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Empiric Network is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Empiric makes data decentralized, transparent and composable.
A starknet contract to store historical values from empiric.network oracle in a rolling window and compute a twap over it
Concatenate values without padding for hash functions such as keccak.
Efficient pairing and pairing based SNARKS verification library, written in Cairo 🐺.
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
Cairo implementation of operations modulo a prime of up to 384 bits
The repo for Starknet's developer documentation. Includes contribution guidelines and the Starknet documentation supplementary style guide
An educational game to learn Cairo where you implement ship AIs that fight to catch as much dust as possible!
Sync a Bitcoin full node using a STARK proof
PoC of Zero Knowledge Proofs of Elliptic Curve Inner Products from Principal Divisors and Weil Reciprocity paper
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.