stechu

building decentralized future

Pinned Repositories

pyteal
Algorand Smart Contracts in Python
Language:Python282 18 211114
AlgoDeploy
Language:Python3 2 03
AlgoStat
Extract Stats from Algorand's Rest API
Language:Python2 2 00
awesome-applied-crypto
Awesome applied cryptographic learning
5 4 00
circom-hardhat-ts-starter
Language:TypeScript3 0 10
FreebaseToCSV
Dump freebase triple to standard CSV file
Language:Python3 2 00
proof-systems
baby, it is plonk!
Language:Python5 1 00
toysnark
Language:Python20
universal-snarks-survey
8 5 00
Cosette
Cosette is an automated SQL solver.
Language:Lean656 43 7153

stechu's Repositories

stechu/universal-snarks-survey
8 5 00
stechu/proof-systems
baby, it is plonk!
Language:Python5 1 00
stechu/circom-hardhat-ts-starter
Language:TypeScript3 0 10
stechu/zk-study-notes
zk study notes
2 2 01
stechu/wasm-prover
Language:Rust1 3 01
stechu/Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
Language:Rust1 0
stechu/bellperson
zk-SNARK library
Language:Rust0 0
stechu/ccs-hack
a hack implementation of CCS generic arithmetization
Language:Rust0 0
stechu/ChainBridge
🌉 Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Ethereum Classic, Substrate, based chains.
Language:Go1 0
stechu/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust1 0
stechu/derive-pallet-assets-trait-error-2
Language:Rust1 0
stechu/dolphin-types
Language:TypeScript1 02
stechu/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Language:Rust0 0
stechu/halo2-lib
Monorepo of halo2 crates
Language:Rust0 0
stechu/manta-util
Home brewed manta util.
2 0
stechu/msig-util
Derive Polkadot / Kusama addresses on the CLI.
Language:TypeScript1 01
stechu/parachain-projects-info
Language:JavaScript1 0
stechu/plonkathon
educational python plonk implementation, based on vitalik's py_plonk
Language:Python0 0
stechu/polkadot
Polkadot Node Implementation
Language:Rust0 0
stechu/poly-commit
A Rust library for polynomial commitments
Language:Rust1 0
stechu/pylonk
baby plonk is a still plonk, but just a baby
2 0
stechu/rcc
Language:Rust0 0
stechu/Rust-C-FFI
Language:Rust2 0
stechu/rust-in-blockchain
Source code for rib.rs
Language:CSS1 0
stechu/slips
SatoshiLabs Improvement Proposals
Language:Python1 0
stechu/sponge
Library for cryptographic sponges
Language:Rust1 0
stechu/stechu
Config files for my GitHub profile.
1 0
stechu/sumcheck
Language:Rust2 0
stechu/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Language:Rust0 0
stechu/zk-examples
Examples of how to build circuit using arkworks zkSNARK.
Language:Rust1 0