Convert PDF to markdown + JSON quickly with high accuracy

The Ethereum Improvement Proposal repository

Get a ChatGPT plugin up and running in under 5 minutes!

Buttercup finds and patches software vulnerabilities

A symbolic testing tool for EVM smart contracts

Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

AI engine for smart contract audit

Tutorial for STARKs with supporting code in python

educational python plonk implementation, based on vitalik's py_plonk

A Python framework and collection of test cases to generate test vectors for Ethereum execution clients

Solidity grammar for tree sitter

This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce during signature generation.

A Python implementation of Garbled Circuits MPC protocol

Lean Ethereum protocol specifications and test vector generation framework.

Fuzzing processing pipelines for zero-knowledge circuits

K semantics for Solana

Ethereum Protocol Security Review Assistant

ChapacoSolSec is an advanced security analysis tool designed specifically for Solana smart contracts. Built for macOS ARM architecture, it combines AST (Abstract Syntax Tree) analysis with machine …