secp256k1_bulletproofs.h

Go to the documentation of this file.

#ifndef _SECP256K1_BULLETPROOF_
# define _SECP256K1_BULLETPROOF_
 
# include "secp256k1_2.h"
# include "secp256k1_generator.h"
# include "secp256k1_rangeproof.h"
 
# ifdef __cplusplus
extern "C" {
# endif
 
typedef struct secp256k1_bulletproof_generators secp256k1_bulletproof_generators;
 
typedef struct secp256k1_bulletproof_circuit secp256k1_bulletproof_circuit;
 
typedef struct secp256k1_bulletproof_circuit_assignment secp256k1_bulletproof_circuit_assignment;
 
#define SECP256K1_BULLETPROOF_CIRCUIT_VERSION   1
 
/* Maximum depth of 31 lets us validate an aggregate of 2^25 64-bit proofs */
#define SECP256K1_BULLETPROOF_MAX_DEPTH 31
 
/* Maximum size of a circuit that may be parsed */
#define SECP256K1_BULLETPROOF_MAX_CIRCUIT (1024*1024*25)
 
/* Size of a hypothetical 31-depth rangeproof, in bytes */
#define SECP256K1_BULLETPROOF_MAX_PROOF (160 + 36*32 + 7)
 
SECP256K1_API secp256k1_bulletproof_generators *secp256k1_bulletproof_generators_create(
    const secp256k1_context2* ctx,
    const secp256k1_generator *blinding_gen,
    size_t n
) SECP256K1_ARG_NONNULL(1);
 
SECP256K1_API secp256k1_bulletproof_generators *secp256k1_bulletproof_generators_create_with_pregenerated(const secp256k1_context2 *ctx) SECP256K1_ARG_NONNULL(1);
 
SECP256K1_API void secp256k1_bulletproof_generators_destroy(
    const secp256k1_context2* ctx,
    secp256k1_bulletproof_generators *gen
) SECP256K1_ARG_NONNULL(1);
 
SECP256K1_WARN_UNUSED_RESULT SECP256K1_API int secp256k1_bulletproof_rangeproof_verify(
    const secp256k1_context2* ctx,
    secp256k1_scratch_space2* scratch,
    const secp256k1_bulletproof_generators *gens,
    const unsigned char* proof,
    size_t plen,
    const uint64_t* min_value,
    const secp256k1_pedersen_commitment* commit,
    size_t n_commits,
    size_t nbits,
    const secp256k1_generator* value_gen,
    const unsigned char* extra_commit,
    size_t extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(7) SECP256K1_ARG_NONNULL(10);
 
SECP256K1_WARN_UNUSED_RESULT SECP256K1_API int secp256k1_bulletproof_rangeproof_verify_multi(
    const secp256k1_context2* ctx,
    secp256k1_scratch_space2* scratch,
    const secp256k1_bulletproof_generators *gens,
    const unsigned char* const* proof,
    size_t n_proofs,
    size_t plen,
    const uint64_t* const* min_value,
    const secp256k1_pedersen_commitment* const* commit,
    size_t n_commits,
    size_t nbits,
    const secp256k1_generator* value_gen,
    const unsigned char* const* extra_commit,
    size_t *extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(8);
 
SECP256K1_WARN_UNUSED_RESULT SECP256K1_API int secp256k1_bulletproof_rangeproof_rewind(
    const secp256k1_context2* ctx,
    const secp256k1_bulletproof_generators* gens,
    uint64_t* value,
    unsigned char* blind,
    const unsigned char* proof,
    size_t plen,
    uint64_t min_value,
    const secp256k1_pedersen_commitment* commit,
    const secp256k1_generator* value_gen,
    const unsigned char* nonce,
    const unsigned char* extra_commit,
    size_t extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(5) SECP256K1_ARG_NONNULL(8) SECP256K1_ARG_NONNULL(9);
 
SECP256K1_WARN_UNUSED_RESULT SECP256K1_API int secp256k1_bulletproof_rangeproof_prove(
    const secp256k1_context2* ctx,
    secp256k1_scratch_space2* scratch,
    const secp256k1_bulletproof_generators *gens,
    unsigned char* proof,
    size_t* plen,
    const uint64_t *value,
    const uint64_t *min_value,
    const unsigned char* const* blind,
    size_t n_commits,
    const secp256k1_generator* value_gen,
    size_t nbits,
    const unsigned char* nonce,
    const unsigned char* extra_commit,
    size_t extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(5) SECP256K1_ARG_NONNULL(6) SECP256K1_ARG_NONNULL(8) SECP256K1_ARG_NONNULL(10) SECP256K1_ARG_NONNULL(12);
 
 
/* General ZKP functionality */
 
SECP256K1_API secp256k1_bulletproof_circuit *secp256k1_bulletproof_circuit_parse(
    const secp256k1_context2 *ctx,
    const char *description
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2);
 
secp256k1_bulletproof_circuit *secp256k1_bulletproof_circuit_decode(const secp256k1_context2 *ctx, const char *fname);
 
SECP256K1_API void secp256k1_bulletproof_circuit_destroy(
    const secp256k1_context2 *ctx,
    secp256k1_bulletproof_circuit *circ
) SECP256K1_ARG_NONNULL(1);
 
SECP256K1_API secp256k1_bulletproof_circuit_assignment *secp256k1_bulletproof_circuit_assignment_decode(
    const secp256k1_context2 *ctx,
    const char *fname
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2);
 
SECP256K1_API void secp256k1_bulletproof_circuit_assignment_destroy(
    const secp256k1_context2 *ctx,
    secp256k1_bulletproof_circuit_assignment *assn
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2);
 
SECP256K1_API int secp256k1_bulletproof_circuit_verify(
    const secp256k1_context2* ctx,
    secp256k1_scratch_space2* scratch,
    const secp256k1_bulletproof_generators* gens,
    const secp256k1_bulletproof_circuit* circ,
    const unsigned char* proof,
    size_t plen,
    const secp256k1_pedersen_commitment* commit,
    size_t n_commits,
    const secp256k1_generator* value_gen,
    const unsigned char* extra_commit,
    size_t extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(5) SECP256K1_ARG_NONNULL(9);
 
SECP256K1_API int secp256k1_bulletproof_circuit_verify_multi(
    const secp256k1_context2* ctx,
    secp256k1_scratch_space2* scratch,
    const secp256k1_bulletproof_generators* gens,
    const secp256k1_bulletproof_circuit* const* circ,
    const unsigned char* const* proof,
    size_t n_proofs,
    size_t plen,
    const secp256k1_pedersen_commitment** commit,
    size_t *n_commits,
    const secp256k1_generator* value_gen,
    const unsigned char** extra_commit,
    size_t *extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(5) SECP256K1_ARG_NONNULL(10);
 
SECP256K1_API int secp256k1_bulletproof_circuit_prove(
    const secp256k1_context2* ctx,
    secp256k1_scratch_space2* scratch,
    const secp256k1_bulletproof_generators* gens,
    const secp256k1_bulletproof_circuit* circ,
    unsigned char* proof,
    size_t* plen,
    const secp256k1_bulletproof_circuit_assignment *assn,
    const unsigned char** blind,
    size_t n_commits,
    const unsigned char* nonce,
    const secp256k1_generator* value_gen,
    const unsigned char* extra_commit,
    size_t extra_commit_len
) SECP256K1_ARG_NONNULL(1) SECP256K1_ARG_NONNULL(2) SECP256K1_ARG_NONNULL(3) SECP256K1_ARG_NONNULL(4) SECP256K1_ARG_NONNULL(5) SECP256K1_ARG_NONNULL(6) SECP256K1_ARG_NONNULL(7) SECP256K1_ARG_NONNULL(10) SECP256K1_ARG_NONNULL(11);
 
# ifdef __cplusplus
}
# endif
 
#endif