feat: add NIF to use KZG functions

lib/kzg.ex

@@ -0,0 +1,50 @@
+defmodule Kzg do
+  @moduledoc """
+  KZG functions
+  """
+  use Rustler, otp_app: :lambda_ethereum_consensus, crate: "kzg_nif"
+
+  @spec blob_to_kzg_commitment(Types.blob()) :: {:ok, Types.kzg_commitment()} | {:error, binary()}
+  def blob_to_kzg_commitment(_blob) do
+    :erlang.nif_error(:nif_not_loaded)
+  end
+
+  @spec compute_kzg_proof(Types.blob(), Types.bytes32()) ::
+          {:ok, {Types.kzg_proof(), Types.bytes32()}} | {:error, binary()}
+  def compute_kzg_proof(_blob, _z) do
+    :erlang.nif_error(:nif_not_loaded)
+  end
+
+  @spec verify_kzg_proof(
+          Types.kzg_commitment(),
+          Types.bytes32(),
+          Types.bytes32(),
+          Types.kzg_proof()
+        ) ::
+          {:ok, boolean} | {:error, binary()}
+  def verify_kzg_proof(_kzg_commitment, _z, _y, _kzg_proof) do
+    :erlang.nif_error(:nif_not_loaded)
+  end
+
+  @spec compute_blob_kzg_proof(Types.blob(), Types.kzg_commitment()) ::
+          {:ok, Types.kzg_proof()} | {:error, binary()}
+  def compute_blob_kzg_proof(_blob, _kzg_commitment) do
+    :erlang.nif_error(:nif_not_loaded)
+  end
+
+  @spec verify_blob_kzg_proof(Types.blob(), Types.kzg_commitment(), Types.kzg_proof()) ::
+          {:ok, boolean} | {:error, binary()}
+  def verify_blob_kzg_proof(_blob, _kzg_commitment, _kzg_proof) do
+    :erlang.nif_error(:nif_not_loaded)
+  end
+
+  @spec verify_blob_kzg_proof_batch(
+          list(Types.blob()),
+          list(Types.kzg_commitment()),
+          list(Types.kzg_proof())
+        ) ::
+          {:ok, boolean} | {:error, binary()}
+  def verify_blob_kzg_proof_batch(_blobs, _kzg_commitments, _kzg_proofs) do
+    :erlang.nif_error(:nif_not_loaded)
+  end
+end

lib/types/mod.ex

@@ -43,4 +43,8 @@ defmodule Types do
   @type execution_address :: bytes20
   @type withdrawal_index :: uint64
   @type payload_id :: bytes8
+  @type kzg_commitment :: bytes48
+  @type kzg_proof :: bytes48
+  ## 131072 is FIELD_ELEMENTS_PER_BLOB(i.e 4096) * BYTES_PER_FIELD_ELEMENT(i.e 32)
+  @type blob :: <<_::131_072>>
 end

native/kzg_nif/.cargo/config.toml

@@ -0,0 +1,5 @@
+[target.'cfg(target_os = "macos")']
+rustflags = [
+    "-C", "link-arg=-undefined",
+    "-C", "link-arg=dynamic_lookup",
+]

native/kzg_nif/.gitignore

@@ -0,0 +1 @@
+/target