precompiles: Use evmone::crypto::kzg_verify_proof instead of silkworm::verify_kzg_proof

silkworm/core/execution/precompile.cpp

@@ -24,6 +24,7 @@
 #include <limits>
 
 #include <evmone_precompiles/blake2b.hpp>
+#include <evmone_precompiles/kzg.hpp>
 #include <evmone_precompiles/ripemd160.hpp>
 #include <evmone_precompiles/sha256.hpp>
 
@@ -39,7 +40,6 @@
 
 #include <silkworm/core/common/endian.hpp>
 #include <silkworm/core/crypto/ecdsa.h>
-#include <silkworm/core/crypto/kzg.hpp>
 #include <silkworm/core/crypto/secp256k1n.hpp>
 #include <silkworm/core/protocol/intrinsic_gas.hpp>
 #include <silkworm/core/types/hash.hpp>
@@ -510,11 +510,12 @@ std::optional<Bytes> point_evaluation_run(ByteView input) noexcept {
     std::span<const uint8_t, 48> commitment{&input[96], 48};
     std::span<const uint8_t, 48> proof{&input[144], 48};
 
-    if (kzg_to_versioned_hash(commitment) != ByteView{versioned_hash}) {
-        return std::nullopt;
-    }
-
-    if (!verify_kzg_proof(commitment, z, y, proof)) {
+    if (!evmone::crypto::kzg_verify_proof(
+            std::as_bytes(versioned_hash).data(),
+            std::as_bytes(z).data(),
+            std::as_bytes(y).data(),
+            std::as_bytes(commitment).data(),
+            std::as_bytes(proof).data())) {
         return std::nullopt;
     }
 

third_party/evmone/CMakeLists.txt

@@ -48,12 +48,13 @@ add_library(
   evmone/lib/evmone_precompiles/blake2b.cpp
   evmone/lib/evmone_precompiles/ripemd160.cpp
   evmone/lib/evmone_precompiles/sha256.cpp
+  evmone/lib/evmone_precompiles/kzg.cpp
 )
 set_source_files_properties(evmone/lib/evmone/vm.cpp PROPERTIES COMPILE_DEFINITIONS PROJECT_VERSION="0.12.0")
 target_include_directories(evmone PUBLIC evmone/include evmone/lib)
 target_link_libraries(
   evmone
-  PUBLIC evmc intx::intx
+  PUBLIC evmc intx::intx blst::blst
   PRIVATE ethash::keccak
 )