Line data    Source code

       1             : #include "../fd_zksdk_private.h"
       2             : 
       3             : static inline void
       4             : grouped_ciphertext_validity_transcript_init(
       5             :   fd_zksdk_transcript_t *                    transcript,
       6           0 :   fd_zksdk_grp_ciph_2h_val_context_t const * context ) {
       7           0 :   fd_zksdk_transcript_init( transcript, FD_TRANSCRIPT_LITERAL("grouped-ciphertext-validity-2-handles-instruction") );
       8           0 :   fd_zksdk_transcript_append_pubkey ( transcript, FD_TRANSCRIPT_LITERAL("first-pubkey"),  context->pubkey1 );
       9           0 :   fd_zksdk_transcript_append_pubkey ( transcript, FD_TRANSCRIPT_LITERAL("second-pubkey"), context->pubkey2 );
      10           0 :   fd_zksdk_transcript_append_message( transcript, FD_TRANSCRIPT_LITERAL("grouped-ciphertext"), (uchar *)&context->grouped_ciphertext, sizeof(grp_ciph_2h_t) );
      11           0 : }
      12             : 
      13             : int
      14           0 : fd_zksdk_instr_verify_proof_grouped_ciphertext_2_handles_validity( void const * _context, void const * _proof ) {
      15           0 :   fd_zksdk_transcript_t transcript[1];
      16           0 :   fd_zksdk_grp_ciph_2h_val_context_t const * context = _context;
      17           0 :   fd_zksdk_grp_ciph_2h_val_proof_t const *   proof   = _proof;
      18             : 
      19           0 :   grouped_ciphertext_validity_transcript_init( transcript, context );
      20             : 
      21           0 :   return fd_zksdk_verify_proof_batched_grouped_ciphertext_2_handles_validity(
      22           0 :     proof,
      23           0 :     context->pubkey1,
      24           0 :     context->pubkey2,
      25           0 :     context->grouped_ciphertext.commitment,
      26           0 :     context->grouped_ciphertext.handles[0].handle,
      27           0 :     context->grouped_ciphertext.handles[1].handle,
      28           0 :     NULL,
      29           0 :     NULL,
      30           0 :     NULL,
      31           0 :     false,
      32           0 :     transcript
      33           0 :   );
      34           0 : }