Constantine bindings for EIP196

.gitignore

@@ -10,6 +10,8 @@ Cargo.lock
 
 .gradle
 
+*.DS_Store
+
 ## build files
 *.com
 *.class

.gitmodules

@@ -7,3 +7,6 @@
 [submodule "secp256r1/besu-native-ec"]
  path = secp256r1/besu-native-ec
  url = [email protected]:ConsenSys/besu-native-ec.git
+[submodule "constantine/constantine"]
+ path = constantine/constantine
+ url = https://github.com/mratsim/constantine.git

constantine/build.gradle

@@ -0,0 +1,166 @@
+plugins {
+ id 'java-library'
+ id 'maven-publish'
+ id 'com.jfrog.artifactory' version '4.20.0'
+}
+
+repositories {
+ mavenCentral()
+}
+
+dependencies {
+ implementation 'net.java.dev.jna:jna:5.12.1'
+ testImplementation 'junit:junit:4.13.2'
+}
+
+java {
+ toolchain {
+ languageVersion = JavaLanguageVersion.of(21)
+ }
+}
+
+//task runNimbleMakeLib(type: Exec) {
+// description = 'Runs CTT_LTO=false nimble make_lib inside constantine folder'
+// workingDir 'constantine'
+// environment 'CTT_LTO', 'false'
+// commandLine 'nimble', 'make_lib'
+//}
+
+task compileJavaSource(type: Exec) {
+ description = 'Compiles the Java source files'
+ commandLine 'javac', 'src/main/java/org/hyperledger/besu/nativelib/constantine/LibConstantineEIP196.java'
+}
+
+task generateJNIHeader(type: Exec) {
+ description = 'Generates the JNI header file'
+ commandLine 'javac', '-h', 'constantine/constantine-jni/include', 'src/main/java/org/hyperledger/besu/nativelib/constantine/LibConstantineEIP196.java'
+}
+
+task compileNativeLibrary(type: Exec) {
+ description = 'Compiles the native library'
+ commandLine 'clang', '-I', "${System.env.JAVA_HOME}/include", '-I', "${System.env.JAVA_HOME}/include/darwin", '-shared', '-o', 'constantine-jni/lib/libconstantine.jnilib', 'constantine-jni/src/main/c/ethereum_evm_precompiles.c', '-I', 'constantine/include', '-I', 'src/main/java/org/hyperledger/besu/nativelib/constantine', '-L', 'constantine-jni/lib', '-lconstantine'
+}
+
+task runJavaProgram(type: Exec) {
+ description = 'Runs the Java program'
+ commandLine 'java', '-Djava.library.path=constantine-jni/lib', 'org.hyperledger.besu.nativelib.constantine.LibConstantineEIP196'
+}
+
+compileNativeLibrary.dependsOn generateJNIHeader
+//generateJNIHeader.dependsOn compileJavaSource
+//compileJavaSource.dependsOn runNimbleMakeLib
+runJavaProgram.dependsOn compileNativeLibrary
+
+tasks.withType(JavaCompile) {
+ options.encoding = 'UTF-8'
+}
+
+task macArmLibCopy(type: Copy) {
+ from 'constantine-jni/lib/libconstantine.dylib'
+ into 'build/resources/main/darwin-aarch64'
+}
+
+task macLibCopy(type: Copy) {
+ from 'constantine-jni/lib/libconstantine.dylib'
+ into 'build/resources/main/darwin-x86-64'
+}
+
+task linuxLibCopy(type: Copy) {
+ from 'constantine-jni/lib/libconstantine.so'
+ into 'build/resources/main/linux-x86-64'
+}
+
+task linuxArm64LibCopy(type: Copy) {
+ from 'constantine-jni/lib/libconstantine.so'
+ into 'build/resources/main/linux-aarch64'
+}
+
+processResources.dependsOn macArmLibCopy, macLibCopy, linuxLibCopy, linuxArm64LibCopy
+
+jar {
+ archiveBaseName = 'besu-native-constantine'
+ includeEmptyDirs = false
+ manifest {
+ attributes(
+ 'Specification-Title': archiveBaseName,
+ 'Specification-Version': project.version,
+ 'Implementation-Title': archiveBaseName,
+ 'Implementation-Version': project.version,
+ 'Automatic-Module-Name': 'org.hyperledger.besu.nativelib.constantine'
+ )
+ }
+}
+
+task sourcesJar(type: Jar, dependsOn: classes) {
+ archiveBaseName = 'besu-native-constantine'
+ archiveClassifier = 'sources'
+ from sourceSets.main.allSource
+}
+
+task javadocJar(type: Jar, dependsOn: javadoc) {
+ archiveBaseName = 'besu-native-constantine'
+ archiveClassifier = 'javadoc'
+ from javadoc.destinationDir
+}
+
+publishing {
+ publications {
+ mavenJava(MavenPublication) {
+ groupId "org.hyperledger.besu"
+ artifactId 'constantine'
+ version "${project.version}"
+
+ from components.java
+ artifact sourcesJar
+ artifact javadocJar
+
+ pom {
+ name = "Besu Native - ${project.name}"
+ description = 'Adapter for native constantine library'
+ url = 'http://github.com/hyperledger/besu-native'
+ licenses {
+ license {
+ name = 'The Apache License, Version 2.0'
+ url = 'http://www.apache.org/licenses/LICENSE-2.0.txt'
+ }
+ }
+ scm {
+ connection = 'scm:git:git://github.com/hyperledger/besu-native.git'
+ developerConnection = 'scm:git:ssh://github.com/hyperledger/besu-native.git'
+ url = 'https://github.com/hyperledger/besu-native'
+ }
+ }
+ }
+ }
+}
+
+def artifactoryUser = project.hasProperty('artifactoryUser') ? project.property('artifactoryUser') : System.getenv('ARTIFACTORY_USER')
+def artifactoryKey = project.hasProperty('artifactoryApiKey') ? project.property('artifactoryApiKey') : System.getenv('ARTIFACTORY_KEY')
+def artifactoryRepo = System.getenv('ARTIFACTORY_REPO') ?: 'besu-maven'
+def artifactoryOrg = System.getenv('ARTIFACTORY_ORG') ?: 'hyperledger'
+
+artifactory {
+ contextUrl = "https://hyperledger.jfrog.io/${artifactoryOrg}"
+ publish {
+ repository {
+ repoKey = artifactoryRepo
+ username = artifactoryUser
+ password = artifactoryKey
+ }
+ defaults {
+ publications('mavenJava')
+ publishArtifacts = true
+ publishPom = true
+ }
+ }
+}
+
+test {
+ useJUnit()
+}
+
+task runJavaTests(type: Test) {
+ description = 'Runs the Java tests'
+ include '**/*Test.class'
+}
+runJavaTests.dependsOn runJavaProgram

constantine/constantine-jni/src/main/c/ethereum_evm_precompiles.c

@@ -0,0 +1,69 @@
+#include <jni.h>
+#include "org_hyperledger_besu_nativelib_constantine_LibConstantineEIP196.h"
+#include <constantine.h>
+#include <stdio.h>
+
+void printByteArray(const char* label, const byte* array, size_t len) {
+ printf("%s: [", label);
+ for (size_t i = 0; i < len; i++) {
+ printf("%02x", array[i]);
+ if (i < len - 1) {
+ printf(", ");
+ }
+ }
+ printf("]\n");
+}
+
+JNIEXPORT jint JNICALL Java_Constantine_ctt_1eth_1evm_1bn254_1g1add(JNIEnv *env, jobject obj, jbyteArray jr, jint r_len, jbyteArray jinputs, jint inputs_len) {
+ jbyte *r = (*env)->GetByteArrayElements(env, jr, NULL);
+ jbyte *inputs = (*env)->GetByteArrayElements(env, jinputs, NULL);
+
+ ctt_evm_status status = ctt_eth_evm_bn254_g1add((byte *)r, (ptrdiff_t)r_len, (const byte *)inputs, (ptrdiff_t)inputs_len);
+
+ if (status != cttEVM_Success) {
+ printf("ctt_eth_evm_bn254_g1add failed with status: %d\n", status);
+ } else {
+ printByteArray("Result", (const byte *)r, r_len);
+ }
+
+ (*env)->ReleaseByteArrayElements(env, jr, r, 0);
+ (*env)->ReleaseByteArrayElements(env, jinputs, inputs, 0);
+
+ return (jint)status;
+}
+
+JNIEXPORT jint JNICALL Java_Constantine_ctt_1eth_1evm_1bn254_1g1mul(JNIEnv *env, jobject obj, jbyteArray jr, jint r_len, jbyteArray jinputs, jint inputs_len) {
+ jbyte *r = (*env)->GetByteArrayElements(env, jr, NULL);
+ jbyte *inputs = (*env)->GetByteArrayElements(env, jinputs, NULL);
+
+ ctt_evm_status status = ctt_eth_evm_bn254_g1mul((byte *)r, (ptrdiff_t)r_len, (const byte *)inputs, (ptrdiff_t)inputs_len);
+
+ if (status != cttEVM_Success) {
+ printf("ctt_eth_evm_bn254_g1mul failed with status: %d\n", status);
+ } else {
+ printByteArray("Result", (const byte *)r, r_len);
+ }
+
+ (*env)->ReleaseByteArrayElements(env, jr, r, 0);
+ (*env)->ReleaseByteArrayElements(env, jinputs, inputs, 0);
+
+ return (jint)status;
+}
+
+JNIEXPORT jint JNICALL Java_Constantine_ctt_1eth_1evm_1bn254_1pairingCheck(JNIEnv *env, jobject obj, jbyteArray jr, jint r_len, jbyteArray jinputs, jint inputs_len) {
+ jbyte *r = (*env)->GetByteArrayElements(env, jr, NULL);
+ jbyte *inputs = (*env)->GetByteArrayElements(env, jinputs, NULL);
+
+ ctt_evm_status status = ctt_eth_evm_bn254_ecpairingcheck((byte *)r, (ptrdiff_t)r_len, (const byte *)inputs, (ptrdiff_t)inputs_len);
+
+ if (status != cttEVM_Success) {
+ printf("ctt_eth_evm_bn254_pairingCheck failed with status: %d\n", status);
+ } else {
+ printByteArray("Result", (const byte *)r, r_len);
+ }
+
+ (*env)->ReleaseByteArrayElements(env, jr, r, 0);
+ (*env)->ReleaseByteArrayElements(env, jinputs, inputs, 0);
+
+ return (jint)status;
+}

constantine/src/main/java/org/hyperledger/besu/nativelib/constantine/LibConstantineEIP196.java

@@ -0,0 +1,38 @@
+package org.hyperledger.besu.nativelib.constantine;
+
+public class LibConstantineEIP196 {
+ static {
+ System.loadLibrary("constantine");
+ }
+
+ public native int ctt_eth_evm_bn254_g1add(byte[] r, int r_len, byte[] inputs, int inputs_len);
+ public native int ctt_eth_evm_bn254_g1mul(byte[] r, int r_len, byte[] inputs, int inputs_len);
+ public native int ctt_eth_evm_bn254_pairingCheck(byte[] r, int r_len, byte[] inputs, int inputs_len);
+
+ public static void main(String[] args) {
+ LibConstantineEIP196 constInstance = new LibConstantineEIP196();
+
+ byte[] r = new byte[64];
+ byte[] inputs = new byte[128];
+ int status = constInstance.ctt_eth_evm_bn254_g1add(r, r.length, inputs, inputs.length);
+ System.out.println("ctt_eth_evm_bn254_g1add status: " + status + ", result: " + bytesToHex(r));
+
+ r = new byte[64];
+ inputs = new byte[96];
+ status = constInstance.ctt_eth_evm_bn254_g1mul(r, r.length, inputs, inputs.length);
+ System.out.println("ctt_eth_evm_bn254_g1mul status: " + status + ", result: " + bytesToHex(r));
+
+ r = new byte[32];
+ inputs = new byte[256];
+ status = constInstance.ctt_eth_evm_bn254_pairingCheck(r, r.length, inputs, inputs.length);
+ System.out.println("ctt_eth_evm_bn254_pairingCheck status: " + status + ", result: " + bytesToHex(r));
+ }
+
+ private static String bytesToHex(byte[] bytes) {
+ StringBuilder sb = new StringBuilder();
+ for (byte b : bytes) {
+ sb.append(String.format("%02x", b));
+ }
+ return sb.toString();
+ }
+}

constantine/src/test/java/org/hyperledger/besu/nativelib/constantine/LibConstantineEIP196Test.java

@@ -0,0 +1,42 @@
+package org.hyperledger.besu.nativelib.constantine;
+
+import org.junit.Before;
+import org.junit.Test;
+import static org.junit.Assert.assertEquals;
+import static org.junit.Assert.assertNotNull;
+
+public class LibConstantineEIP196Test {
+ private LibConstantineEIP196 constInstance;
+
+ @Before
+ public void setUp() {
+ constInstance = new LibConstantineEIP196();
+ }
+
+ @Test
+ public void testG1Add() {
+ byte[] r = new byte[64];
+ byte[] inputs = new byte[128];
+ int status = constInstance.ctt_eth_evm_bn254_g1add(r, r.length, inputs, inputs.length);
+ assertEquals("Status should be cttEVM_Success", 0, status);
+ assertNotNull("Result array should not be null", r);
+ }
+
+ @Test
+ public void testG1Mul() {
+ byte[] r = new byte[64];
+ byte[] inputs = new byte[96];
+ int status = constInstance.ctt_eth_evm_bn254_g1mul(r, r.length, inputs, inputs.length);
+ assertEquals("Status should be cttEVM_Success", 0, status);
+ assertNotNull("Result array should not be null", r);
+ }
+
+ @Test
+ public void testPairingCheck() {
+ byte[] r = new byte[32];
+ byte[] inputs = new byte[256];
+ int status = constInstance.ctt_eth_evm_bn254_pairingCheck(r, r.length, inputs, inputs.length);
+ assertEquals("Status should be cttEVM_Success", 0, status);
+ assertNotNull("Result array should not be null", r);
+ }
+}

settings.gradle

@@ -22,3 +22,4 @@ include 'ipa-multipoint'
 include 'secp256k1'
 include 'secp256r1'
 include 'gnark'
+include 'constantine'