m-kus

Blockchain engineer

@keep-starknet-strangeLondon

Pinned Repositories

tezos-on-tezos
Michelson VM and Tezos OS in Rust
Language:Rust25 3 151
madara
DEPRECATED in favor of https://github.com/madara-alliance/madara
Language:Rust538 11 572292
raito
Bitcoin ZK client written in Cairo.
Language:Cairo52 5 11639
cairo-pretty-assertions
💅 Cairo devs deserve nice things too!
Language:Cairo20
ps-rundeck-winrm-plugin
Powershell file-copier plugin for Rundeck
Language:PowerShell10 0 01
stock0
Trust-minimized marketplace for content creators [🥇Lambda Hack Week '24]
Language:Rust2 2 01
testex
💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.
Language:Python12 2 13
tz-starks
🐺 Simple STARK verifier on Tezos blockchain
Language:Jupyter Notebook12 1 01
xeus-fift
🍬 Jupyter kernels for Fift and FunC languages
Language:C++21 1 15
spqr
Scalable Provable Quantum Resistant network
Language:Cairo10

m-kus's Repositories

m-kus/xeus-fift
🍬 Jupyter kernels for Fift and FunC languages
Language:C++21 1 15
m-kus/testex
💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.
Language:Python12 2 13
m-kus/tz-starks
🐺 Simple STARK verifier on Tezos blockchain
Language:Jupyter Notebook12 1 01
m-kus/cairo-pretty-assertions
💅 Cairo devs deserve nice things too!
Language:Cairo20
m-kus/cairo-quickstart
Cairo workshop
Language:Cairo2 1 0
m-kus/hoba
😼 Yet another secrets management tool
Language:Python2 0 00
m-kus/stock0
Trust-minimized marketplace for content creators [🥇Lambda Hack Week '24]
Language:Rust2 2 01
m-kus/zkstark-signature-tutorial
ZKSTARK signature in Cairo
Language:Cairo2
m-kus/BloodyHellBot
🇬🇧 Learn english words from the movie before watching it
Language:Python1 1 0
m-kus/mpipe
Build a trading system out of functional modules
Language:C++1 0 0
m-kus/sp1-bn254-benchmark
Benchmarks for substrate-bn primitives inside a SP1 circuit
Language:Rust1 1 0
m-kus/brave-core
Core engine for the Brave browser for mobile and desktop. For issues https://github.com/brave/brave-browser/issues
m-kus/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language:Rust0 0
m-kus/cairo-vm
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.
Language:Rust
m-kus/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Language:Cairo0 0
m-kus/hyperlane-monorepo
The home for Hyperlane core contracts, sdk packages, and other infrastructure
Language:Rust0 0
m-kus/integrity
Cairo STARK proof verifier for Starknet
m-kus/integrity-calldata-generator
m-kus/iu8-legacy
🎓 Cheat tools for students
Language:PHP1 0
m-kus/rustreexo
Utreexo in rust
m-kus/scarb
The Cairo package manager
Language:Rust0 01
m-kus/sequencer-poc
PoC of a distributed sequencer based on Sui's Narwhal & Bullshark implementation
Language:Rust0 0
m-kus/sha256-benchmark
Proving SHA256 in Cairo
Language:Cairo1 0
m-kus/sp1
A performant, 100% open-source, contributor-friendly zkVM.
Language:Rust0 0
m-kus/starknet-docs
The repo for Starknet's developer documentation. Includes contribution guidelines and the Starknet documentation supplementary style guide
Language:AsciiDoc0 0
m-kus/starknet.py
✨ 🐍 Python SDK for Starknet.
Language:Python0 0
m-kus/substrate-bn-sp1
Patched substrate-bn crate that utilizes sys_bigint SP1 precompile
Language:Rust0 0
m-kus/tezos-on-tezos
Michelson VM and Tezos OS in Rust
Language:Rust0 0
m-kus/tezos-unity-sdk-auth-nft-sample
Language:C#1 0
m-kus/unrug-stats
📈 Unruggable.meme stats
Language:Python1 0