circuit_compress_impl.h File Reference

#include "src/legacy_bulletproof/core.h"

Go to the source code of this file.

Data Structures
struct	secp256k1_bulletproof_vfy_compressed_circuit
struct	secp256k1_bulletproof_pf_compressed_circuit

Functions
static void	secp256k1_fast_scalar_mul (secp256k1_scalar *r, const secp256k1_fast_scalar *a, const secp256k1_scalar *b)
static void	secp256k1_wmatrix_row_compress (secp256k1_scalar *r, const secp256k1_bulletproof_wmatrix_row *row, const secp256k1_scalar *zn)
int	secp256k1_bulletproof_vfy_compressed_circuit_allocate_frame (secp256k1_scratch *scratch, const secp256k1_bulletproof_circuit *circ, size_t n_proofs)
secp256k1_bulletproof_vfy_compressed_circuit *	secp256k1_bulletproof_vfy_compress_circuit (secp256k1_scratch *scratch, const secp256k1_bulletproof_circuit *circ, const secp256k1_scalar *x, const secp256k1_scalar *y, const secp256k1_scalar *yinv, const secp256k1_scalar *z)
int	secp256k1_bulletproof_pf_compressed_circuit_allocate_frame (secp256k1_scratch *scratch, const secp256k1_bulletproof_circuit *circ)
secp256k1_bulletproof_pf_compressed_circuit *	secp256k1_bulletproof_pf_slsr (secp256k1_scratch *scratch, const secp256k1_bulletproof_circuit *circ, const unsigned char *nonce)
void	secp256k1_bulletproof_pf_compress_circuit (secp256k1_bulletproof_pf_compressed_circuit *ret, const secp256k1_bulletproof_circuit *circ, const secp256k1_bulletproof_circuit_assignment *assn, const secp256k1_scalar *y, const secp256k1_scalar *yinv, const secp256k1_scalar *z)

Function Documentation

secp256k1_bulletproof_pf_compress_circuit()

void secp256k1_bulletproof_pf_compress_circuit	(	secp256k1_bulletproof_pf_compressed_circuit *	ret,
		const secp256k1_bulletproof_circuit *	circ,
		const secp256k1_bulletproof_circuit_assignment *	assn,
		const secp256k1_scalar *	y,
		const secp256k1_scalar *	yinv,
		const secp256k1_scalar *	z
	)

Definition at line 198 of file circuit_compress_impl.h.

References secp256k1_bulletproof_circuit_assignment::al, secp256k1_bulletproof_circuit_assignment::ar, secp256k1_bulletproof_pf_compressed_circuit::l1, secp256k1_bulletproof_circuit::n_commits, secp256k1_bulletproof_circuit::n_constraints, secp256k1_bulletproof_circuit::n_gates, secp256k1_bulletproof_pf_compressed_circuit::r0, secp256k1_bulletproof_pf_compressed_circuit::r1, secp256k1_bulletproof_pf_compressed_circuit::r3, secp256k1_wmatrix_row_compress(), secp256k1_bulletproof_circuit::wl, secp256k1_bulletproof_circuit::wo, secp256k1_bulletproof_circuit::wr, secp256k1_bulletproof_pf_compressed_circuit::wv, secp256k1_bulletproof_circuit::wv, and secp256k1_bulletproof_pf_compressed_circuit::zn.

Referenced by secp256k1_bulletproof_relation66_prove_impl().

secp256k1_bulletproof_pf_compressed_circuit_allocate_frame()

int secp256k1_bulletproof_pf_compressed_circuit_allocate_frame	(	secp256k1_scratch *	scratch,
		const secp256k1_bulletproof_circuit *	circ
	)

Definition at line 165 of file circuit_compress_impl.h.

References secp256k1_bulletproof_circuit::n_commits, secp256k1_bulletproof_circuit::n_constraints, secp256k1_bulletproof_circuit::n_gates, and secp256k1_scratch_allocate_frame().

Referenced by secp256k1_bulletproof_relation66_prove_impl().

secp256k1_bulletproof_pf_slsr()

secp256k1_bulletproof_pf_compressed_circuit * secp256k1_bulletproof_pf_slsr	(	secp256k1_scratch *	scratch,
		const secp256k1_bulletproof_circuit *	circ,
		const unsigned char *	nonce
	)

Definition at line 174 of file circuit_compress_impl.h.

References secp256k1_bulletproof_pf_compressed_circuit::l1, secp256k1_bulletproof_pf_compressed_circuit::l3, secp256k1_bulletproof_circuit::n_commits, secp256k1_bulletproof_circuit::n_constraints, secp256k1_bulletproof_circuit::n_gates, nonce, secp256k1_bulletproof_pf_compressed_circuit::r0, secp256k1_bulletproof_pf_compressed_circuit::r1, secp256k1_bulletproof_pf_compressed_circuit::r3, secp256k1_scalar_chacha20(), secp256k1_scratch_alloc, secp256k1_bulletproof_pf_compressed_circuit::wv, and secp256k1_bulletproof_pf_compressed_circuit::zn.

Referenced by secp256k1_bulletproof_relation66_prove_impl().

secp256k1_bulletproof_vfy_compress_circuit()

secp256k1_bulletproof_vfy_compressed_circuit * secp256k1_bulletproof_vfy_compress_circuit	(	secp256k1_scratch *	scratch,
		const secp256k1_bulletproof_circuit *	circ,
		const secp256k1_scalar *	x,
		const secp256k1_scalar *	y,
		const secp256k1_scalar *	yinv,
		const secp256k1_scalar *	z
	)

Definition at line 83 of file circuit_compress_impl.h.

References secp256k1_bulletproof_circuit::c, secp256k1_bulletproof_vfy_compressed_circuit::c_sum, secp256k1_bulletproof_circuit::n_commits, secp256k1_bulletproof_circuit::n_constraints, secp256k1_bulletproof_circuit::n_gates, secp256k1_fast_scalar_mul(), secp256k1_scratch_alloc, secp256k1_wmatrix_row_compress(), secp256k1_bulletproof_circuit::wl, secp256k1_bulletproof_vfy_compressed_circuit::wl_wo, secp256k1_bulletproof_circuit::wo, secp256k1_bulletproof_vfy_compressed_circuit::wr, secp256k1_bulletproof_circuit::wr, secp256k1_bulletproof_vfy_compressed_circuit::wv, secp256k1_bulletproof_circuit::wv, and secp256k1_bulletproof_vfy_compressed_circuit::zn.

Referenced by secp256k1_bulletproof_relation66_verify_impl().

secp256k1_bulletproof_vfy_compressed_circuit_allocate_frame()

int secp256k1_bulletproof_vfy_compressed_circuit_allocate_frame	(	secp256k1_scratch *	scratch,
		const secp256k1_bulletproof_circuit *	circ,
		size_t	n_proofs
	)

Definition at line 75 of file circuit_compress_impl.h.

References secp256k1_bulletproof_circuit::n_commits, secp256k1_bulletproof_circuit::n_constraints, secp256k1_bulletproof_circuit::n_gates, and secp256k1_scratch_allocate_frame().

Referenced by secp256k1_bulletproof_relation66_verify_impl().

secp256k1_fast_scalar_mul()

static void secp256k1_fast_scalar_mul ( secp256k1_scalar *  r, const secp256k1_fast_scalar *  a, const secp256k1_scalar *  b  )

static

Definition at line 34 of file circuit_compress_impl.h.

References secp256k1_fast_scalar::scal, and secp256k1_fast_scalar::special.

Referenced by purify_bulletproof_circuit_evaluate(), purify_bulletproof_circuit_evaluate_sum_row(), secp256k1_bulletproof_vfy_compress_circuit(), and secp256k1_wmatrix_row_compress().

secp256k1_wmatrix_row_compress()

static void secp256k1_wmatrix_row_compress ( secp256k1_scalar *  r, const secp256k1_bulletproof_wmatrix_row *  row, const secp256k1_scalar *  zn  )

static

Definition at line 65 of file circuit_compress_impl.h.

References secp256k1_bulletproof_wmatrix_row::entry, secp256k1_bulletproof_wmatrix_entry::idx, secp256k1_bulletproof_wmatrix_entry::scal, secp256k1_fast_scalar_mul(), and secp256k1_bulletproof_wmatrix_row::size.

Referenced by secp256k1_bulletproof_pf_compress_circuit(), and secp256k1_bulletproof_vfy_compress_circuit().