Pinned Repositories
pyteal
Algorand Smart Contracts in Python
AlgoDeploy
AlgoStat
Extract Stats from Algorand's Rest API
awesome-applied-crypto
Awesome applied cryptographic learning
circom-hardhat-ts-starter
FreebaseToCSV
Dump freebase triple to standard CSV file
proof-systems
baby, it is plonk!
toysnark
universal-snarks-survey
Cosette
Cosette is an automated SQL solver.
stechu's Repositories
stechu/universal-snarks-survey
stechu/proof-systems
baby, it is plonk!
stechu/circom-hardhat-ts-starter
stechu/zk-study-notes
zk study notes
stechu/kevin
stechu/bellperson
zk-SNARK library
stechu/ccs-hack
a hack implementation of CCS generic arithmetization
stechu/ChainBridge
🌉 Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Ethereum Classic, Substrate, based chains.
stechu/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
stechu/dolphin-types
stechu/eliza
Autonomous agents for everyone
stechu/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
stechu/gemini-cli
An open-source AI agent that brings the power of Gemini directly into your terminal.
stechu/halo2-lib
Monorepo of halo2 crates
stechu/HotShot
stechu/msig-util
Derive Polkadot / Kusama addresses on the CLI.
stechu/parachain-projects-info
stechu/plonkathon
educational python plonk implementation, based on vitalik's py_plonk
stechu/polkadot
Polkadot Node Implementation
stechu/pylonk
baby plonk is a still plonk, but just a baby
stechu/rcc
stechu/reasoning-model-eval
stechu/rust-in-blockchain
Source code for rib.rs
stechu/sp1
A performant, 100% open-source, contributor-friendly zkVM.
stechu/sponge
Library for cryptographic sponges
stechu/stechu
Config files for my GitHub profile.
stechu/sumcheck
stechu/testnode
stechu/upa
UPA is the proof aggregation engine built by NEBRA team.
stechu/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits