vanilla

type CROSSAllMethods interface {
	GetProtocolData() common.ProtocolData
	GetTreeParams() common.TreeParams
	KeyGen() KeyPair
	DummyKeyGen(seed_sk []byte) KeyPair
	Sign(sk, msg []byte) (Signature, error)
	DummySign(salt, root_seed, sk, msg []byte) (Signature, error)
	Verify(pk Pk, m []byte, sig Signature) (bool, error)

	//arith
	Fz_dz_norm_n(v []byte) []byte
	Fz_inf_w_by_fz_matrix(fz_vec_e, W_mat []byte) []byte

	//seed
	SeedLeaves(seed, salt []byte) [][]byte
	RebuildLeaves(path [][]byte, salt []byte, chall_2 []bool) ([][]byte, bool)
	SeedPath(seed, salt []byte, chall_2 []bool) [][]byte

	//merkle
	TreeProof(commitments [][]byte, chall_2 []bool) [][]byte
	RecomputeRoot(cmt_0, proof [][]byte, chall_2 []bool) ([]byte, bool)
	TreeRoot(commitments [][]byte) []byte

	//Shake
	CSPRNG(seed []byte, output_len int, dsc uint16) []byte
	CSPRNG_fz_vec(seed []byte) []byte
	CSPRNG_fp_vec(seed []byte) []byte
	CSPRNG_fz_inf_w(seed []byte) []byte
	CSPRNG_fz_mat(seed []byte) ([]byte, sha3.ShakeHash)
	Expand_digest_to_fixed_weight(digest []byte) []bool
}

type CROSSInstance[T common.FP_ELEM, P common.FP_PREC] struct {
	*common.CROSS[T, P]
}

type CROSSMethods interface {
	KeyGen() (KeyPair, error)
}

type KeyPair struct {
	Sk []byte
	Pk
}

type Pk struct {
	SeedPK []byte
	S      []byte
}

type Resp_0_struct struct {
	Y       []byte
	V_bar   []byte
	V_G_bar []byte
}

type Signature struct {
	Salt           []byte
	Digest_cmt     []byte
	Digest_chall_2 []byte
	Path           [][]byte
	Proof          [][]byte
	Resp_1         []byte
	Resp_0         []Resp_0_struct
}