Topic: stark Goto Github
Some thing interesting about stark
Some thing interesting about stark
stark,Eigen zkVM's Proving Service
Organization: 0xeigenlabs
stark,A Rust zkVM with a Modular Proof System
Organization: 0xeigenlabs
stark,STARK-based virtual machine
Organization: 0xpolygonmiden
stark,ML prediction of Stark parameters of atomic emission lines
User: alezakuskin
stark,Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
User: andrewmilson
stark,A month-long zkp study group, one topic at a time.
Organization: antalpha-labs
stark,STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Organization: bitcoin-stark
stark,Building blocks of a Circle STARK verifier in Bitcoin script
Organization: bitcoin-wildlife-sanctuary
Home Page: https://docs.btcwild.life
stark,Bitcoin Wildlife Conservatorium website
Organization: bitcoin-wildlife-sanctuary
Home Page: https://btcwild.life
stark,Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
Organization: bitcoin-wildlife-sanctuary
Home Page: https://catnet-mempool.btcwild.life/
stark,zero knowledge for those with zero knowledge
User: cawfree
Home Page: https://twitter.com/cawfree
stark,Port the original "stark101" tutorial(python) to Rust version
User: duguorong009
stark,A library for generating zk-STARKs.
Organization: guildofweavers
stark,A community-maintained curated list of awesome resources of RISC Zero.
User: inversebrah
stark,Cairo-VM Stark Verifier Rust implementation
Organization: iosis-tech
stark,Shared peer-to-peer network of zero-knowledge provers
Organization: iosis-tech
Home Page: https://docs.zetina.iosis.tech/
stark,Bitcoin ZK client written in Cairo.
Organization: keep-starknet-strange
Home Page: https://raito.wtf
stark,Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Organization: kkrt-labs
Home Page: https://kakarot.org
stark,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.
Organization: lambdaclass
Home Page: https://lambdaclass.github.io/cairo-vm
stark,Spatio-temporal data mining
User: maglighter
stark,Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Organization: nationalbankbelgium
Home Page: https://stark.nbb.be
stark,Audited & minimal JS implementation of Starknet cryptography.
User: paulmillr
stark,RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Organization: risc0
Home Page: https://risczero.com
stark,Halo2 gadgets for verifying plonky2/starky proofs (WIP)
User: shuklaayush
stark,A Typescript port of Adam Stark's C++ implementation of the chord recognition algorithm described in the paper : Real-Time Chord Recognition For Live Performance, A. M. Stark and M. D. Plumbley.
User: stackswithans
stark,Its a Simple Social engineering Tool
User: stark-404
Home Page: https://instagram.com/la1uuuuu
stark,Ensure your design is accessible and high contrast for every type of color blindness
Organization: stark-contrast
Home Page: https://github.com/stark-contrast/stark-sketch-plugin/archive/main.zip
stark,A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
User: starkoracles
stark,Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Organization: starkware-libs
stark,Modular Tracking Framework.Top-Down and Bottom-Up approaches for Pose Tracking. Single and Multi-Person Tracking supported.
User: theoh-io
stark,A community-developed re-implementation of the Starkware Stone Prover
User: thor314
stark,An example of state-transition AIR program backed by the winterfell library.
Organization: toposware
stark,Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Organization: tritonvm
Home Page: https://triton-vm.org
stark,STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
User: victorcolomb
stark,零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Organization: wtfacademy
stark,
User: wxtsky
Home Page: https://my-wallet-info.vercel.app
stark,STARK book
Organization: zksecurity
Home Page: https://zksecurity.github.io/stark-book/
stark,Adapt your STARK stone proofs for verifications on Ethereum
Organization: zksecurity
Home Page: https://zksecurity.github.io/stark-evm-adapter/stark_evm_adapter/index.html
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.