Nethermind.Crypto.Lean 0.1.0.8 

dotnet add package Nethermind.Crypto.Lean --version 0.1.0.8
                    


                    

                
NuGet\Install-Package Nethermind.Crypto.Lean -Version 0.1.0.8
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="Nethermind.Crypto.Lean" Version="0.1.0.8" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
<PackageVersion Include="Nethermind.Crypto.Lean" Version="0.1.0.8" />
                    


                            Directory.Packages.props
                        

                    

                
<PackageReference Include="Nethermind.Crypto.Lean" />
                    


                            Project file
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package. 
paket add Nethermind.Crypto.Lean --version 0.1.0.8
                    


                    

                
#r "nuget: Nethermind.Crypto.Lean, 0.1.0.8"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
#:package Nethermind.Crypto.Lean@0.1.0.8
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package. 
#addin nuget:?package=Nethermind.Crypto.Lean&version=0.1.0.8
                    


                            Install as a Cake Addin
                        

                    

                
#tool nuget:?package=Nethermind.Crypto.Lean&version=0.1.0.8
                    


                            Install as a Cake Tool

Lean bindings

Test / Publish Nethermind.Crypto.Lean

Native EIP-8288 Lean backend for Nethermind, packaged for NuGet as Nethermind.Crypto.Lean.

The library, libnethermind_lean.so, is built from the Rust crate in src/ffi, a thin C ABI over a pinned leanVM fork.

Package

RID CPU baseline Built on
linux-x64 x86-64-v3 + PCLMULQDQ ubuntu-latest, inside rust:1.99.0-bookworm
linux-arm64 ARMv8 + AES (PMULL) ubuntu-24.04-arm, inside rust:1.99.0-bookworm
  • Native-only: no managed assembly. Nethermind's NativeLeanProofVerifier loads the library and, on chains with EIP-8288 scheduled, checks the CPU features, ABI version, aggregated verification key and acceptance bounds at startup.
  • Version <native version>.<run>: the native version is the src/ffi crate version.
  • glibc 2.35 (Ubuntu 22.04) or newer: Build Lean fails if the library needs a newer glibc symbol.
  • No other RIDs: an EIP-8288 node on osx, win or musl fails at startup with Nethermind's backend message; other chains never load the library.

Layout

  • src/ffi: the Rust source of the library, and the cargo-about configuration (about.toml, about.hbs) for THIRD-PARTY-NOTICES.
  • src/bindings/Nethermind.Crypto.Lean: the package; runtimes/*/native/libnethermind_lean.so (Git LFS) are committed by Build Lean.
  • src/bindings/Nethermind.Crypto.Lean.Tests: loads the committed library and checks its ABI version and aggregated verification key.

Workflows

  • Build Lean (manual): builds src/ffi for each RID, twice, and fails unless both builds are byte-identical; generates THIRD-PARTY-NOTICES; runs the smoke test on the built libraries on x64 and arm64 hardware; optionally opens a pull request with them into the branch it runs on. That pull request is opened with GITHUB_TOKEN, which starts no workflows, so run Test / Publish on its branch manually.
  • Test / Publish: on pull requests and main, checks formatting, runs the Rust tests, the smoke test and Nethermind's native suite (startup checks and real verifications, with fixtures from src/ffi) against the committed library on x64 and arm64 hardware, and verifies a consumer gets the right library per RID. On a release or a manual run, publishes to NuGet (staging or production) through trusted publishing, only after all of these pass.

License

This project is licensed under the MIT license.

The shipped library statically links leanVM and other Rust crates, used under permissive licenses. See THIRD-PARTY-NOTICES for the full texts.

There are no supported framework assets in this package.

Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last Updated
0.1.0.8 75 11/3/2026