Pinned Repositories
p256-signer
HyVM
Run arbitrary code on the EVM, by mass.money
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
cairo0-starter
A set of exercises to get started with Cairo0
circomkit-test
commonPot
HuffFaucet
playground
Collection of snippets
HyVM
Run arbitrary code on the EVM
audit-report
Security Review of Summa Solvency Protocol
obatirou's Repositories
obatirou/HuffFaucet
obatirou/playground
Collection of snippets
obatirou/cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
obatirou/cairo0-starter
A set of exercises to get started with Cairo0
obatirou/circomkit-test
obatirou/create-safe-tx
📜 Useful script to build complex Gnosis Safe transactions involving Gnosis Multisend and/or Zodiac modifiers
obatirou/damn-vulnerable-defi-foundry
Damn Vulnerable DeFi - Foundry Version
obatirou/evm-and-best-practices-resources
obatirou/forge-template
obatirou/ef-tests
Test runner for ethereum foundation tests
obatirou/ERC5643
Subscription NFT Smart Contracts
obatirou/ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
obatirou/ethernaut-forge
obatirou/evm-from-scratch
Super secret 100% practical EVM course. Please do not share
obatirou/foundry-bug-replication
obatirou/foundry-huff
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
obatirou/FreshCryptoLib
Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
obatirou/halo2-analyzer
SMT 2023 Submission; license pending
obatirou/huff-toolchain
GitHub action that installs huffc
obatirou/huffmate
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
obatirou/HyVM
Run arbitrary code on the EVM, by nested.fi
obatirou/kakarot
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
obatirou/kakarot-lib
obatirou/kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
obatirou/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
obatirou/Picus
Symbolic Virtual Machine for Automated R1CS Verification
obatirou/solc-select
Manage and switch between Solidity compiler versions
obatirou/solmate
Modern, opinionated, and gas optimized building blocks for smart contract development.
obatirou/universal-rewards-distributor
A universal rewards distributor written in Solidity.
obatirou/vertigo-rs
Mutation Testing for Ethereum Smart Contracts, support for Foundry