Stars
An experimental security tool for Sui Move smart contracts that combines static program analysis and LLM.
PhD Thesis template rebuilding Aaron Turon's thesis
A repository of Solana program examples
A curated collection of resources on smart contract programming languages
Formal Verification tool for Move on Sui
Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
Cairo is the first Turing-complete language for creating provable programs for general computation.
🌴 Empowering everyone to build reliable and efficient smart contracts.
A curated list of Smart Contract Security materials and resources For Researchers
Cadence, the resource-oriented smart contract programming language 🏃♂️
Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
Homebridge plugin for UE Boom speakers.
Reverse engineering UE Boom bluetooth commands
Switch on/off your UE BOOM Bluetooth speaker from your Android device
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more