Create booklets from PDF files

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

Nuxt 3 RealWorld app

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

Decompiler for Move smart contracts

A chronological and (hopefully) complete list of reentrancy attacks to date.

List of contracts from known projects (work in progress)

Overview of the formal verification projects in the Ethereum ecosystem.

Tools for Yul.

A curated list of resources around BitVM

A DP a day keeps the bug away.

Linux distro crypto oriented

Profilo ufficiale di Decripto.org

Smart Contract Security Verification Standard

Binary Object Representation Serializer for Hashing

An example of how the Aptos blockchain can be used to build a blockchain-based solution for an alcohol manufacturing company

Modern Telegram Bot Framework for Node.js

A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

evm toolkit

Reproduce DeFi hacked incidents using Foundry.

Smart Contract Weakness Classification and Test Cases