Check ret of blob_to_kzg_commitment in c# bindings

This commit is contained in:
Justin Traglia 2023-01-09 15:22:13 -06:00
parent 7aa44cbd5b
commit 658b43ec16
4 changed files with 12 additions and 8 deletions

View File

@ -26,8 +26,9 @@ public class Ckzg
/// <param name="commitment">Prealocated buffer of <inheritdoc cref="CommitmentLength"/> bytes to receive the commitment</param> /// <param name="commitment">Prealocated buffer of <inheritdoc cref="CommitmentLength"/> bytes to receive the commitment</param>
/// <param name="blob">Flatten array of blob elements</param> /// <param name="blob">Flatten array of blob elements</param>
/// <param name="ts">Trusted setup settings</param> /// <param name="ts">Trusted setup settings</param>
/// <returns>Returns error code or <c>0</c> if successful</returns>
[DllImport("ckzg", EntryPoint = "blob_to_kzg_commitment_wrap", CallingConvention = CallingConvention.Cdecl)] [DllImport("ckzg", EntryPoint = "blob_to_kzg_commitment_wrap", CallingConvention = CallingConvention.Cdecl)]
public unsafe static extern void BlobToKzgCommitment(byte* commitment, byte* blob, IntPtr ts); public unsafe static extern int BlobToKzgCommitment(byte* commitment, byte* blob, IntPtr ts);
/// <summary> /// <summary>
@ -37,7 +38,7 @@ public class Ckzg
/// <param name="blobs">Blobs as a flatten byte array</param> /// <param name="blobs">Blobs as a flatten byte array</param>
/// <param name="count">Blobs count</param> /// <param name="count">Blobs count</param>
/// <param name="ts">Trusted setup settings</param> /// <param name="ts">Trusted setup settings</param>
/// <returns>Returns error code or <c>0</c> if succeed</returns> /// <returns>Returns error code or <c>0</c> if successful</returns>
[DllImport("ckzg", EntryPoint = "compute_aggregate_kzg_proof_wrap", CallingConvention = CallingConvention.Cdecl)] // returns 0 on success [DllImport("ckzg", EntryPoint = "compute_aggregate_kzg_proof_wrap", CallingConvention = CallingConvention.Cdecl)] // returns 0 on success
public unsafe static extern int ComputeAggregatedKzgProof(byte* proof, byte* blobs, int count, IntPtr ts); public unsafe static extern int ComputeAggregatedKzgProof(byte* proof, byte* blobs, int count, IntPtr ts);

View File

@ -24,10 +24,13 @@ void free_trusted_setup_wrap(KZGSettings *s) {
free(s); free(s);
} }
void blob_to_kzg_commitment_wrap(uint8_t out[48], const Blob blob, const KZGSettings *s) { C_KZG_RET blob_to_kzg_commitment_wrap(uint8_t out[48], const Blob blob, const KZGSettings *s) {
KZGCommitment c; KZGCommitment c;
blob_to_kzg_commitment(&c, blob, s); C_KZG_RET ret;
ret = blob_to_kzg_commitment(&c, blob, s);
if (ret != C_KZG_OK) return ret;
bytes_from_g1(out, &c); bytes_from_g1(out, &c);
return C_KZG_OK;
} }
int verify_aggregate_kzg_proof_wrap(const Blob blobs[], const uint8_t commitments[], size_t n, const uint8_t proof[48], const KZGSettings *s) { int verify_aggregate_kzg_proof_wrap(const Blob blobs[], const uint8_t commitments[], size_t n, const uint8_t proof[48], const KZGSettings *s) {
@ -56,7 +59,7 @@ C_KZG_RET compute_aggregate_kzg_proof_wrap(uint8_t out[48], const Blob blobs[],
KZGProof f; KZGProof f;
C_KZG_RET ret; C_KZG_RET ret;
ret = compute_aggregate_kzg_proof(&f, blobs, n, s); ret = compute_aggregate_kzg_proof(&f, blobs, n, s);
if (ret != C_KZG_OK) return -1; if (ret != C_KZG_OK) return ret;
bytes_from_g1(out, &f); bytes_from_g1(out, &f);
return C_KZG_OK; return C_KZG_OK;
} }

View File

@ -13,7 +13,7 @@ DLLEXPORT KZGSettings* load_trusted_setup_wrap(const char* file);
DLLEXPORT void free_trusted_setup_wrap(KZGSettings *s); DLLEXPORT void free_trusted_setup_wrap(KZGSettings *s);
DLLEXPORT void blob_to_kzg_commitment_wrap(uint8_t out[48], const Blob blob, const KZGSettings *s); DLLEXPORT C_KZG_RET blob_to_kzg_commitment_wrap(uint8_t out[48], const Blob blob, const KZGSettings *s);
DLLEXPORT int verify_aggregate_kzg_proof_wrap(const Blob blobs[], const uint8_t commitments[], size_t n, const uint8_t proof[48], const KZGSettings *s); DLLEXPORT int verify_aggregate_kzg_proof_wrap(const Blob blobs[], const uint8_t commitments[], size_t n, const uint8_t proof[48], const KZGSettings *s);

View File

@ -16,7 +16,7 @@ void calculate_proof_and_commitment(char * trusted_setup_path){
n++; n++;
} }
int res0 = compute_aggregate_kzg_proof_wrap(proof, blob, 1, s); int res0 = compute_aggregate_kzg_proof_wrap(proof, blob, 1, s);
blob_to_kzg_commitment_wrap(commitment, blob, s); int res1 = blob_to_kzg_commitment_wrap(commitment, blob, s);
FILE *f = fopen("output.txt", "wt"); FILE *f = fopen("output.txt", "wt");
// commitment // commitment