Untitled

k = 13;
field = "pallas";

constant "Burn" {
	EcFixedPointShort VALUE_COMMIT_VALUE,
  EcFixedPointShort MY_SHORT_CONSTANT = ( "0x07f444550fa409bb4f66235bea8d2048406ed745ee90802f0ec3c668883c5a91" , "0x24136777af26628c21562cc9e46fb7c2279229f1f39281460e2f46c8a772d9ca" ),
	EcFixedPoint VALUE_COMMIT_RANDOM,
  EcFixedPoint MY_CONSTANT = ( "0x07f444550fa409bb4f66235bea8d2048406ed745ee90802f0ec3c668883c5a91" , "0x24136777af26628c21562cc9e46fb7c2279229f1f39281460e2f46c8a772d9ca" ),
	EcFixedPointBase NULLIFIER_K,
  EcFixedPointBase MY_OTHER_CONSTANT = ( "0x07f444550fa409bb4f66235bea8d2048406ed745ee90802f0ec3c668883c5a91" , "0x24136777af26628c21562cc9e46fb7c2279229f1f39281460e2f46c8a772d9ca" ),
}