ftupas's repositories
black-hat-rust
Applied offensive security with Rust - https://kerkour.com/black-hat-rust
cairo-katas
Personal Cairo Katas
cairo1-damn-vulnerable-defi
Damn Vulnerable Defi for Starknet
aa-workshop
Code for Account Abstraction workshop using latest Starknet syntax
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.
chiquito
DSL for Halo2 circuits
dojo
An Onchain Game Engine implemented in Cairo 1.0
dojo-examples
Dojo examples
dojo-starter
init dojo world
ef-tests
test runner for ethereum foundation tests
ftupas
ftupas Profile README
hive
Ethereum end-to-end test harness
kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
kakarot-ssj
Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡
madara
Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate and written in Rust 🦀.
madara-infra
Infrastructure related stuff for Madara.
moor
A rewrite of the classic LambdaMOO server; but in Rust and on a modern tech stack
nativefier
Make any web page a desktop application
orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
satoru
Synthetics platform for Starknet, inspired by GMX v2 design.
stark-anatomy
Translation of the "Anatomy of a STARK" Python code to Rust
starklings-cairo1
An interactive tutorial to get you up and running with Cairo v1 and Starknet
starknet-foundry
Blazing fast toolkit for developing Starknet contracts.
v3-core
🦄 🦄 🦄 Core smart contracts of Uniswap v3