{"repo":"leanEthereum/leanSpec","free":true,"listed":false,"github":"https://github.com/leanEthereum/leanSpec","clone":"git clone https://github.com/leanEthereum/leanSpec.git","description":"Lean Ethereum protocol specifications and test vector generation framework.","language":"Python","stars":143,"topics":["eth","ethereum","ethereum-testing","lean-ethereum","post-quantum-cryptography"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Lean Ethereum Specifications The Lean Ethereum protocol specifications and cryptographic subspecifications. 🐳 Running with Docker? Skip the setup and jump to DOCKER QUICKSTART.md for containerized deployment examples. Quick Start New to leanSpec? Choose your path: - Local development : Follow the instructions below - Docker deployment : See DOCKER QUICKSTART.md for running as a consensus node Prerequisites Installing uv uv is a fast Python package manager that handles dependencies and Python versions. Installing just just is the task runner used for common developer workflows in this repository. Installing Python 3.12+ This project requires Python 3.12 or later and should be installed via uv : Installing Rust Nightly (Temporary) Note: This is a temporary requirement. In the future, the Rust bindings will be removed and all cryptographic primitives will be implemented directly in Python. This project currently depends on lean-multisig-py , a Rust-based Python extension that requires Rust nightly to compile: Setup Project Structure Workspace Commands Development Workflow Running Tests Code Quality Using just for Common Tasks Run just with no arguments to see the available recipes. just is the primary command surface for contributors, while raw uv run ... commands remain available when you want to invoke tools directly. Documentation Writing Specifications Example: Writing Tests Guide to Python Tools - Pydantic models : Think of these as strongly-typed data structures that vali","default_branch":null,"files":null,"tree":[],"storefront":"/r/leanEthereum","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/leanEthereum/leanSpec/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}