com.horizen.sigproofnative

Class NaiveThresholdSigProof

java.lang.Object

com.horizen.sigproofnative.NaiveThresholdSigProof

public class NaiveThresholdSigProof
extends Object

Constructor Summary

Constructors

Constructor and Description
NaiveThresholdSigProof()

Method Summary

Modifier and Type	Method and Description
static FieldElement	createMsgToSign(BackwardTransfer[] bt, FieldElement scId, int epochNumber, FieldElement endCumulativeScTxCommTreeRoot, long btrFee, long ftMinAmount)
static CreateProofResult	createProof(List<BackwardTransfer> btList, FieldElement scId, int epochNumber, FieldElement endCumulativeScTxCommTreeRoot, long btrFee, long ftMinAmount, List<SchnorrSignature> schnorrSignatureList, List<SchnorrPublicKey> schnorrPublicKeyList, long threshold, String provingKeyPath, boolean zk)
static CreateProofResult	createProof(List<BackwardTransfer> btList, FieldElement scId, int epochNumber, FieldElement endCumulativeScTxCommTreeRoot, long btrFee, long ftMinAmount, List<SchnorrSignature> schnorrSignatureList, List<SchnorrPublicKey> schnorrPublicKeyList, long threshold, String provingKeyPath, boolean checkProvingKey, boolean zk)
static CreateProofResult	createProof(List<BackwardTransfer> btList, FieldElement scId, int epochNumber, FieldElement endCumulativeScTxCommTreeRoot, long btrFee, long ftMinAmount, List<SchnorrSignature> schnorrSignatureList, List<SchnorrPublicKey> schnorrPublicKeyList, long threshold, String provingKeyPath, boolean checkProvingKey, boolean zk, boolean compressed_pk, boolean compress_proof)
static FieldElement	getConstant(List<SchnorrPublicKey> schnorrPublicKeys, long threshold)
static boolean	setup(ProvingSystemType psType, long maxPks, String provingKeyPath, String verificationKeyPath, boolean zk, int maxProofSize, int maxVkSize)
static boolean	setup(ProvingSystemType psType, long maxPks, String provingKeyPath, String verificationKeyPath, boolean zk, int maxProofSize, int maxVkSize, boolean compressPk, boolean compressVk)
static boolean	setup(ProvingSystemType psType, long maxPks, String provingKeyPath, String verificationKeyPath, int maxProofSize, int maxVkSize)
static boolean	verifyProof(List<BackwardTransfer> btList, FieldElement scId, int epochNumber, FieldElement endCumulativeScTxCommTreeRoot, long btrFee, long ftMinAmount, FieldElement constant, long quality, byte[] proof, boolean checkProof, String verificationKeyPath, boolean checkVerificationKey)
static boolean	verifyProof(List<BackwardTransfer> btList, FieldElement scId, int epochNumber, FieldElement endCumulativeScTxCommTreeRoot, long btrFee, long ftMinAmount, FieldElement constant, long quality, byte[] proof, String verificationKeyPath)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NaiveThresholdSigProof

public NaiveThresholdSigProof()

Method Detail

getConstant

public static FieldElement getConstant(List<SchnorrPublicKey> schnorrPublicKeys,
                                       long threshold)

createMsgToSign

public static FieldElement createMsgToSign(BackwardTransfer[] bt,
                                           FieldElement scId,
                                           int epochNumber,
                                           FieldElement endCumulativeScTxCommTreeRoot,
                                           long btrFee,
                                           long ftMinAmount)

setup

public static boolean setup(ProvingSystemType psType,
                            long maxPks,
                            String provingKeyPath,
                            String verificationKeyPath,
                            boolean zk,
                            int maxProofSize,
                            int maxVkSize,
                            boolean compressPk,
                            boolean compressVk)

setup

public static boolean setup(ProvingSystemType psType,
                            long maxPks,
                            String provingKeyPath,
                            String verificationKeyPath,
                            boolean zk,
                            int maxProofSize,
                            int maxVkSize)

setup

public static boolean setup(ProvingSystemType psType,
                            long maxPks,
                            String provingKeyPath,
                            String verificationKeyPath,
                            int maxProofSize,
                            int maxVkSize)

createProof

public static CreateProofResult createProof(List<BackwardTransfer> btList,
                                            FieldElement scId,
                                            int epochNumber,
                                            FieldElement endCumulativeScTxCommTreeRoot,
                                            long btrFee,
                                            long ftMinAmount,
                                            List<SchnorrSignature> schnorrSignatureList,
                                            List<SchnorrPublicKey> schnorrPublicKeyList,
                                            long threshold,
                                            String provingKeyPath,
                                            boolean checkProvingKey,
                                            boolean zk,
                                            boolean compressed_pk,
                                            boolean compress_proof)

createProof

public static CreateProofResult createProof(List<BackwardTransfer> btList,
                                            FieldElement scId,
                                            int epochNumber,
                                            FieldElement endCumulativeScTxCommTreeRoot,
                                            long btrFee,
                                            long ftMinAmount,
                                            List<SchnorrSignature> schnorrSignatureList,
                                            List<SchnorrPublicKey> schnorrPublicKeyList,
                                            long threshold,
                                            String provingKeyPath,
                                            boolean checkProvingKey,
                                            boolean zk)

createProof

public static CreateProofResult createProof(List<BackwardTransfer> btList,
                                            FieldElement scId,
                                            int epochNumber,
                                            FieldElement endCumulativeScTxCommTreeRoot,
                                            long btrFee,
                                            long ftMinAmount,
                                            List<SchnorrSignature> schnorrSignatureList,
                                            List<SchnorrPublicKey> schnorrPublicKeyList,
                                            long threshold,
                                            String provingKeyPath,
                                            boolean zk)

verifyProof

public static boolean verifyProof(List<BackwardTransfer> btList,
                                  FieldElement scId,
                                  int epochNumber,
                                  FieldElement endCumulativeScTxCommTreeRoot,
                                  long btrFee,
                                  long ftMinAmount,
                                  FieldElement constant,
                                  long quality,
                                  byte[] proof,
                                  boolean checkProof,
                                  String verificationKeyPath,
                                  boolean checkVerificationKey)

verifyProof

public static boolean verifyProof(List<BackwardTransfer> btList,
                                  FieldElement scId,
                                  int epochNumber,
                                  FieldElement endCumulativeScTxCommTreeRoot,
                                  long btrFee,
                                  long ftMinAmount,
                                  FieldElement constant,
                                  long quality,
                                  byte[] proof,
                                  String verificationKeyPath)