feat(c/zk): add c API for crypto::FRIProof

tachyon/c/zk/air/sp1/BUILD.bazel

@@ -9,6 +9,7 @@ filegroup(
         "baby_bear_poseidon2_duplex_challenger.h",
         "baby_bear_poseidon2_field_merkle_tree.h",
         "baby_bear_poseidon2_field_merkle_tree_vec.h",
+        "baby_bear_poseidon2_fri_proof.h",
         "baby_bear_poseidon2_opened_values.h",
         "baby_bear_poseidon2_opening_points.h",
         "baby_bear_poseidon2_two_adic_fri.h",
@@ -104,8 +105,13 @@ tachyon_cc_library(
 
 tachyon_cc_library(
     name = "baby_bear_poseidon2_two_adic_fri",
-    srcs = ["baby_bear_poseidon2_two_adic_fri.cc"],
+    srcs = [
+        "baby_bear_poseidon2_fri_proof.cc",
+        "baby_bear_poseidon2_two_adic_fri.cc",
+    ],
     hdrs = [
+        "baby_bear_poseidon2_fri_proof.h",
+        "baby_bear_poseidon2_fri_proof_type_traits.h",
         "baby_bear_poseidon2_two_adic_fri.h",
         "baby_bear_poseidon2_two_adic_fri_type_traits.h",
     ],

tachyon/c/zk/air/sp1/baby_bear_poseidon2_fri_proof.cc

@@ -0,0 +1,23 @@
+#include "tachyon/c/zk/air/sp1/baby_bear_poseidon2_fri_proof.h"
+
+#include "tachyon/c/zk/air/sp1/baby_bear_poseidon2_fri_proof_type_traits.h"
+
+using namespace tachyon;
+
+using Proof = crypto::FRIProof<c::zk::air::plonky3::baby_bear::PCS::Base>;
+
+tachyon_sp1_baby_bear_poseidon2_fri_proof*
+tachyon_sp1_baby_bear_poseidon2_fri_proof_create() {
+  return c::base::c_cast(new Proof());
+}
+
+tachyon_sp1_baby_bear_poseidon2_fri_proof*
+tachyon_sp1_baby_bear_poseidon2_fri_proof_clone(
+    const tachyon_sp1_baby_bear_poseidon2_fri_proof* fri_proof) {
+  return c::base::c_cast(new Proof(c::base::native_cast(*fri_proof)));
+}
+
+void tachyon_sp1_baby_bear_poseidon2_fri_proof_destroy(
+    tachyon_sp1_baby_bear_poseidon2_fri_proof* fri_proof) {
+  delete c::base::native_cast(fri_proof);
+}

tachyon/c/zk/air/sp1/baby_bear_poseidon2_fri_proof.h

@@ -0,0 +1,54 @@
+/**
+ * @file baby_bear_poseidon2_fri_proof.h
+ * @brief Defines the interface for the fri proof used within the
+ * SP1(BabyBear + Poseidon2) proof system.
+ */
+
+#ifndef TACHYON_C_ZK_AIR_SP1_BABY_BEAR_POSEIDON2_FRI_PROOF_H_
+#define TACHYON_C_ZK_AIR_SP1_BABY_BEAR_POSEIDON2_FRI_PROOF_H_
+
+#include <stddef.h>
+#include <stdint.h>
+
+#include "tachyon/c/export.h"
+
+struct tachyon_sp1_baby_bear_poseidon2_fri_proof {};
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+/**
+ * @brief Creates a new fri proof.
+ *
+ * @return A pointer to the newly created fri proof.
+ */
+TACHYON_C_EXPORT tachyon_sp1_baby_bear_poseidon2_fri_proof*
+tachyon_sp1_baby_bear_poseidon2_fri_proof_create();
+
+/**
+ * @brief Clones an existing fri proof.
+ *
+ * Creates a deep copy of the given fri proof.
+ *
+ * @param fri_proof A const pointer to the fri proof to
+ * clone.
+ * @return A pointer to the cloned fri proof.
+ */
+TACHYON_C_EXPORT tachyon_sp1_baby_bear_poseidon2_fri_proof*
+tachyon_sp1_baby_bear_poseidon2_fri_proof_clone(
+    const tachyon_sp1_baby_bear_poseidon2_fri_proof* fri_proof);
+
+/**
+ * @brief Destroys a fri proof, freeing its resources.
+ *
+ * @param proof A pointer to the fri proof to destroy.
+ */
+TACHYON_C_EXPORT void tachyon_sp1_baby_bear_poseidon2_fri_proof_destroy(
+    tachyon_sp1_baby_bear_poseidon2_fri_proof* proof);
+
+#ifdef __cplusplus
+}  // extern "C"
+#endif
+
+#endif  // TACHYON_C_ZK_AIR_SP1_BABY_BEAR_POSEIDON2_FRI_PROOF_H_

tachyon/c/zk/air/sp1/baby_bear_poseidon2_fri_proof_type_traits.h

@@ -0,0 +1,25 @@
+#ifndef TACHYON_C_ZK_AIR_SP1_BABY_BEAR_POSEIDON2_FRI_PROOF_TYPE_TRAITS_H_
+#define TACHYON_C_ZK_AIR_SP1_BABY_BEAR_POSEIDON2_FRI_PROOF_TYPE_TRAITS_H_
+
+#include "tachyon/c/base/type_traits_forward.h"
+#include "tachyon/c/zk/air/sp1/baby_bear_poseidon2_fri_proof.h"
+#include "tachyon/c/zk/air/sp1/baby_bear_poseidon2_two_adic_fri_type_traits.h"
+#include "tachyon/crypto/commitments/fri/fri_proof.h"
+
+namespace tachyon::c::base {
+
+template <>
+struct TypeTraits<
+    tachyon::crypto::FRIProof<zk::air::plonky3::baby_bear::PCS::Base>> {
+  using CType = tachyon_sp1_baby_bear_poseidon2_fri_proof;
+};
+
+template <>
+struct TypeTraits<tachyon_sp1_baby_bear_poseidon2_fri_proof> {
+  using NativeType =
+      tachyon::crypto::FRIProof<zk::air::plonky3::baby_bear::PCS::Base>;
+};
+
+}  // namespace tachyon::c::base
+
+#endif  // TACHYON_C_ZK_AIR_SP1_BABY_BEAR_POSEIDON2_FRI_PROOF_TYPE_TRAITS_H_