37048e87de
Since `DirSep` matches the default separator of the target OS, it's not suitable for performing path operations during compile-time on the host OS. The particular fix here solves the issue for cross-compiling a Windows build from a Linux host, but Nim seems to need a more general solution for detecting the host OS during compilation, so a host OS specific separator can be used in paths derived from `currentSourcePath`. |
||
|---|---|---|
| .github/workflows | ||
| bindings | ||
| blst@e9dfc5ee72 | ||
| fuzz | ||
| inc | ||
| lib | ||
| src | ||
| tests | ||
| .gitignore | ||
| .gitmodules | ||
| LICENSE | ||
| README.md | ||
| go.mod | ||
| go.sum | ||
| kzg4844.nimble | ||
README.md
C-KZG-4844
A minimal implemention of the Polynomial Commitments API for EIP-4844, written in C.
Bindings
While the core implementation is in C, bindings are available for various high-level languages, providing convenient wrappers around C functions. These bindings are intended to be used by Ethereum clients, to avoid re-implemention of crucial cryptographic functions.
| Language | Link |
|---|---|
| C# | README |
| Go | README |
| Java | README |
| Nim | README |
| Node.js | README |
| Python | README |
| Rust | README |
Interface functions
The C-KZG-4844 library provides implementations of the public KZG functions that are defined in the Polynomial Commitments specification. The aim is to align these functions as closely as possible with the specification.
blob_to_kzg_commitmentcompute_kzg_proofcompute_blob_kzg_proofverify_kzg_proofverify_blob_kzg_proofverify_blob_kzg_proof_batch
This library also provides functions for loading and freeing the trusted setup, which are not defined in the specification. These functions are intended to be executed once during the initialization process. As the name suggests, the trusted setup file is considered to be trustworthy.
load_trusted_setupload_trusted_setup_filefree_trusted_setup
Remarks
Tests
All the bindings are tested against the KZG reference tests, which are defined in the consensus-spec-tests. Additionally, a suite of unit tests for internal C functions is located here.
Parallelization
The interface functions in C-KZG-4844 are single-threaded for simplicity, as
implementing multi-threading across multiple platforms can be complex. While
performance is important, these functions are already quite fast and efficient.
For instance, verify_blob_kzg_proof is expected to finish in under 3ms on most
systems.
Batched verification
When processing multiple blobs, verify_blob_kzg_proof_batch is more efficient
than calling verify_blob_kzg_proof individually. In CI tests, verifying 64
blobs in batch is 53% faster per blob than verifying them individually. For a
single blob, verify_blob_kzg_proof_batch calls verify_blob_kzg_proof, and
the overhead is negligible.
Benchmarks
C-KZG-4844 does not include C benchmarks; however, some bindings (Go, Java, and Rust) have their own benchmarks. Including benchmarks in the bindings offers a more realistic performance estimate, as C-KZG-4844 is not expected to be used outside of the bindings.
Why C?
The primary reason for choosing C is because blst, the BLS12-381 signature library we wanted to use, is mostly written in C. Rust was a viable alternative, but it has some disadvantages. The C toolchain is ubiquitous, and it would be somewhat awkward for all the bindings to depend on another toolchain, such as Rust. Compared to Rust, C offers a lighter memory and binary footprint. Furthermore, C serves as the de facto language for FFI, so we could not have completely avoided using C anyway.