peerplays-fc/tests/blind.cpp

#include <fc/crypto/elliptic.hpp>
#include <fc/log/logger.hpp>
#include <fc/io/raw.hpp>
#include <fc/variant.hpp>
#include <fc/reflect/variant.hpp>

extern "C" {
#include <secp256k1.h>
}
//struct secp256k1_scalar_t { uint64_t v[4]; };
//extern "C" { void secp256k1_scalar_get_b32(unsigned char *bin, const struct secp256k1_scalar_t* a); }

int main( int argc, char** argv )
{
   try {
      auto InB1 = fc::sha256::hash("InB1");
      auto InB2 = fc::sha256::hash("InB2");
      auto OutB1 = fc::sha256::hash("OutB1");


      auto InC1 = fc::ecc::blind(InB1,25);
      auto InC2 = fc::ecc::blind(InB2,75);

      auto OutC1 = fc::ecc::blind(OutB1,40);

      auto OutB2 = fc::ecc::blind_sum( {InB1,InB2,OutB1}, 2 );
      auto OutC2 = fc::ecc::blind( OutB2, 60 );

      FC_ASSERT( fc::ecc::verify_sum( {InC1,InC2}, {OutC1,OutC2}, 0 ) );
      auto nonce = fc::sha256::hash("nonce");

      auto proof = fc::ecc::range_proof_sign( 0, OutC1, OutB1, nonce, 0, 0, 40 );
      wdump( (proof.size()));

      auto result = fc::ecc::range_get_info( proof );
      wdump((result));
      FC_ASSERT( result.max_value >= 60 );
      FC_ASSERT( result.min_value >= 0 );


      auto B1 = fc::sha256::hash("B1");
      auto B2 = fc::sha256::hash("B2");
      auto b3 = fc::sha256::hash("b3");
      auto B4 = fc::sha256::hash("B4");
      auto C1 = fc::ecc::blind( B1, 1  );
      auto C2 = fc::ecc::blind( B2, 2  );
      auto c3 = fc::ecc::blind( b3, 3  );
      auto C4 = fc::ecc::blind( B4, -1 );

      auto B3 = fc::ecc::blind_sum( {B1,B2}, 2 );
      auto C3 = fc::ecc::blind( B3, 3 );


      auto B2m1 = fc::ecc::blind_sum( {B2,B1}, 1 );
      auto C2m1 = fc::ecc::blind( B2m1, 1 );

      FC_ASSERT( fc::ecc::verify_sum( {C1,C2}, {C3}, 0 ) );
      FC_ASSERT( fc::ecc::verify_sum( {C3}, {C1,C2}, 0 ) );
      FC_ASSERT( fc::ecc::verify_sum( {C3}, {C1,C2}, 0 ) );


      {
         auto B1 = fc::sha256::hash("B1");
         auto B2 = fc::sha256::hash("B2");
         auto B3 = fc::sha256::hash("B3");

         //secp256k1_scalar_get_b32((unsigned char*)&B1, (const secp256k1_scalar_t*)&B2);
         //B1 = fc::variant("b2e5da56ef9f2a34d3e22fd12634bc99261e95c87b9960bf94ed3d27b30").as<fc::sha256>();

         auto C1 = fc::ecc::blind( B1, INT64_MAX );
         auto C2 = fc::ecc::blind( B1, 0 );
         auto C3 = fc::ecc::blind( B1, 1 );

         FC_ASSERT( fc::ecc::verify_sum( {C2}, {C3}, -1 ) );
         FC_ASSERT( fc::ecc::verify_sum( {C1}, {C1}, 0 ) );
         FC_ASSERT( fc::ecc::verify_sum( {C2}, {C2}, 0 ) );
         FC_ASSERT( fc::ecc::verify_sum( {C3}, {C2}, 1 ) );
         FC_ASSERT( fc::ecc::verify_sum( {C1}, {C2}, INT64_MAX ) );
         FC_ASSERT( fc::ecc::verify_sum( {C2}, {C1}, -INT64_MAX ) );


      }


   }
   catch ( const fc::exception& e )
   {
      edump((e.to_detail_string()));
   }
   return 0;
}