/* SPDX-FileCopyrightText: Â© 2019-2022 Nadim Kobeissi <nadim@symbolic.software>
 * SPDX-License-Identifier: GPL-3.0-only */
// 5e88e17b2b330ef227c81153d720b176

package vplogic

import (
	"fmt"
)

type primitiveEnum uint8

const (
	primitiveEnumEmpty         primitiveEnum = iota
	primitiveEnumASSERT        primitiveEnum = iota
	primitiveEnumCONCAT        primitiveEnum = iota
	primitiveEnumSPLIT         primitiveEnum = iota
	primitiveEnumPWHASH        primitiveEnum = iota
	primitiveEnumHASH          primitiveEnum = iota
	primitiveEnumHKDF          primitiveEnum = iota
	primitiveEnumAEADENC       primitiveEnum = iota
	primitiveEnumAEADDEC       primitiveEnum = iota
	primitiveEnumENC           primitiveEnum = iota
	primitiveEnumDEC           primitiveEnum = iota
	primitiveEnumMAC           primitiveEnum = iota
	primitiveEnumSIGN          primitiveEnum = iota
	primitiveEnumSIGNVERIF     primitiveEnum = iota
	primitiveEnumPKEENC        primitiveEnum = iota
	primitiveEnumPKEDEC        primitiveEnum = iota
	primitiveEnumSHAMIRSPLIT   primitiveEnum = iota
	primitiveEnumSHAMIRJOIN    primitiveEnum = iota
	primitiveEnumRINGSIGN      primitiveEnum = iota
	primitiveEnumRINGSIGNVERIF primitiveEnum = iota
	primitiveEnumBLIND         primitiveEnum = iota
	primitiveEnumUNBLIND       primitiveEnum = iota
)

var primitiveCoreSpecs = []PrimitiveCoreSpec{
	{
		ID:      primitiveEnumASSERT,
		Name:    "ASSERT",
		Arity:   []int{2},
		Output:  []int{1},
		HasRule: true,
		CoreRule: func(p *Primitive) (bool, []*Value) {
			v := []*Value{{Kind: typesEnumPrimitive, Data: p}}
			if valueEquivalentValues(p.Arguments[0], p.Arguments[1], true) {
				return true, v
			}
			return false, v
		},
		Check:     true,
		Explosive: false,
	},
	{
		ID:      primitiveEnumCONCAT,
		Name:    "CONCAT",
		Arity:   []int{2, 3, 4, 5},
		Output:  []int{1},
		HasRule: false,
		CoreRule: func(p *Primitive) (bool, []*Value) {
			v := []*Value{{Kind: typesEnumPrimitive, Data: p}}
			return false, v
		},
		Check:     false,
		Explosive: true,
	},
	{
		ID:      primitiveEnumSPLIT,
		Name:    "SPLIT",
		Arity:   []int{1},
		Output:  []int{1, 2, 3, 4, 5},
		HasRule: true,
		CoreRule: func(p *Primitive) (bool, []*Value) {
			v := []*Value{{Kind: typesEnumPrimitive, Data: p}}
			switch p.Arguments[0].Kind {
			case typesEnumConstant:
				return false, v
			case typesEnumPrimitive:
				pp := p.Arguments[0].Data.(*Primitive)
				switch pp.ID {
				case primitiveEnumCONCAT:
					return true, pp.Arguments
				}
				return false, v
			case typesEnumEquation:
				return false, v
			}
			return false, v
		},
		Check:     true,
		Explosive: false,
	},
}

var primitiveSpecs = []PrimitiveSpec{
	{
		ID:     primitiveEnumPWHASH,
		Name:   "PW_HASH",
		Arity:  []int{1, 2, 3, 4, 5},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{0, 1, 2, 3, 4},
	},
	{
		ID:     primitiveEnumHASH,
		Name:   "HASH",
		Arity:  []int{1, 2, 3, 4, 5},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       true,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumHKDF,
		Name:   "HKDF",
		Arity:  []int{3},
		Output: []int{1, 2, 3, 4, 5},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       true,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumAEADENC,
		Name:   "AEAD_ENC",
		Arity:  []int{3},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{1},
	},
	{
		ID:     primitiveEnumAEADDEC,
		Name:   "AEAD_DEC",
		Arity:  []int{3},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: true,
			ID:      primitiveEnumAEADENC,
			From:    1,
			To: func(p *Primitive) *Value {
				return p.Arguments[1]
			},
			Matching: map[int][]int{
				0: {0},
				2: {2},
			},
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 0:
					return x, true
				case 2:
					return x, true
				}
				return x, false
			},
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           true,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumENC,
		Name:   "ENC",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{1},
	},
	{
		ID:     primitiveEnumDEC,
		Name:   "DEC",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: true,
			ID:      primitiveEnumENC,
			From:    1,
			To: func(p *Primitive) *Value {
				return p.Arguments[1]
			},
			Matching: map[int][]int{
				0: {0},
			},
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 0:
					return x, true
				}
				return x, false
			},
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumMAC,
		Name:   "MAC",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{1},
	},
	{
		ID:     primitiveEnumSIGN,
		Name:   "SIGN",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{1},
	},
	{
		ID:     primitiveEnumSIGNVERIF,
		Name:   "SIGNVERIF",
		Arity:  []int{3},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: true,
			ID:      primitiveEnumSIGN,
			From:    2,
			To: func(p *Primitive) *Value {
				return valueNil
			},
			Matching: map[int][]int{
				0: {0},
				1: {1},
			},
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 0:
					switch x.Kind {
					case typesEnumConstant:
						return x, false
					case typesEnumPrimitive:
						return x, false
					case typesEnumEquation:
						switch {
						case len(x.Data.(*Equation).Values) != 2:
							return x, false
						case !valueEquivalentValues(x.Data.(*Equation).Values[0], valueG, true):
							return x, false
						default:
							return x.Data.(*Equation).Values[1], true
						}
					}
				case 1:
					return x, true
				}
				return x, false
			},
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           true,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumPKEENC,
		Name:   "PKE_ENC",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 0:
					switch x.Kind {
					case typesEnumConstant:
						return x, false
					case typesEnumPrimitive:
						return x, false
					case typesEnumEquation:
						switch {
						case len(x.Data.(*Equation).Values) != 2:
							return x, false
						case !valueEquivalentValues(x.Data.(*Equation).Values[0], valueG, true):
							return x, false
						default:
							return x.Data.(*Equation).Values[1], true
						}
					}
				case 1:
					return x, true
				}
				return x, false
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{1},
	},
	{
		ID:     primitiveEnumPKEDEC,
		Name:   "PKE_DEC",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: true,
			ID:      primitiveEnumPKEENC,
			From:    1,
			To: func(p *Primitive) *Value {
				return p.Arguments[1]
			},
			Matching: map[int][]int{
				0: {0},
			},
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 0:
					switch x.Kind {
					case typesEnumConstant, typesEnumPrimitive:
						return &Value{
							Kind: typesEnumEquation,
							Data: &Equation{
								Values: []*Value{valueG, x},
							},
						}, true
					case typesEnumEquation:
						return x, false
					}
				}
				return x, false
			},
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumSHAMIRSPLIT,
		Name:   "SHAMIR_SPLIT",
		Arity:  []int{1},
		Output: []int{3},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: true,
			Given: [][]int{
				{0, 1},
				{0, 2},
				{1, 2},
			},
			Reveal: 0,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumSHAMIRJOIN,
		Name:   "SHAMIR_JOIN",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: true,
			ID:      primitiveEnumSHAMIRSPLIT,
			Given: [][]int{
				{0, 1},
				{1, 0},
				{0, 2},
				{2, 0},
				{1, 2},
				{2, 1},
			},
			Reveal: 0,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumRINGSIGN,
		Name:   "RINGSIGN",
		Arity:  []int{4},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{3},
	},
	{
		ID:     primitiveEnumRINGSIGNVERIF,
		Name:   "RINGSIGNVERIF",
		Arity:  []int{5},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: true,
			ID:      primitiveEnumRINGSIGN,
			From:    4,
			To: func(p *Primitive) *Value {
				return valueNil
			},
			Matching: map[int][]int{
				0: {0, 1, 2},
				1: {0, 1, 2},
				2: {0, 1, 2},
				3: {3},
			},
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 0:
					switch x.Kind {
					case typesEnumConstant:
						return x, false
					case typesEnumPrimitive:
						return x, false
					case typesEnumEquation:
						switch len(x.Data.(*Equation).Values) {
						case 2:
							return x.Data.(*Equation).Values[1], true
						default:
							return x, false
						}
					}
				case 1:
					return x, true
				case 2:
					return x, true
				case 3:
					return x, true
				case 4:
					return x, true
				}
				return x, false
			},
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           true,
		Explosive:       false,
		PasswordHashing: []int{},
	},
	{
		ID:     primitiveEnumBLIND,
		Name:   "BLIND",
		Arity:  []int{2},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: true,
			Given:   []int{0},
			Reveal:  1,
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				return x, true
			},
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: false,
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{1},
	},
	{
		ID:     primitiveEnumUNBLIND,
		Name:   "UNBLIND",
		Arity:  []int{3},
		Output: []int{1},
		Decompose: DecomposeRule{
			HasRule: false,
		},
		Recompose: RecomposeRule{
			HasRule: false,
		},
		Rewrite: RewriteRule{
			HasRule: true,
			ID:      primitiveEnumSIGN,
			From:    2,
			To: func(p *Primitive) *Value {
				return &Value{
					Kind: typesEnumPrimitive,
					Data: &Primitive{
						ID: primitiveEnumSIGN,
						Arguments: []*Value{
							p.Arguments[0],
							p.Arguments[1].Data.(*Primitive).Arguments[1],
						},
						Output: 0,
						Check:  false,
					},
				}
			},
			Matching: map[int][]int{
				0: {1},
			},
			Filter: func(p *Primitive, x *Value, i int) (*Value, bool) {
				switch i {
				case 1:
					blindPrim := &Value{
						Kind: typesEnumPrimitive,
						Data: &Primitive{
							ID: primitiveEnumBLIND,
							Arguments: []*Value{
								p.Arguments[0], p.Arguments[1],
							},
							Output: 0,
							Check:  false,
						},
					}
					return blindPrim, true
				}
				return x, false
			},
		},
		Rebuild: RebuildRule{
			HasRule: false,
		},
		Check:           false,
		Explosive:       false,
		PasswordHashing: []int{},
	},
}

func primitiveIsCorePrimitive(name primitiveEnum) bool {
	switch name {
	case primitiveEnumASSERT, primitiveEnumCONCAT, primitiveEnumSPLIT:
		return true
	}
	return false
}

func primitiveCoreGet(name primitiveEnum) (*PrimitiveCoreSpec, error) {
	for i := 0; i < len(primitiveCoreSpecs); i++ {
		if primitiveCoreSpecs[i].ID == name {
			return &primitiveCoreSpecs[i], nil
		}
	}
	err := fmt.Errorf("unknown primitive")
	return &PrimitiveCoreSpec{}, err
}

func primitiveGet(name primitiveEnum) (*PrimitiveSpec, error) {
	for i := 0; i < len(primitiveSpecs); i++ {
		if primitiveSpecs[i].ID == name {
			return &primitiveSpecs[i], nil
		}
	}
	err := fmt.Errorf("unknown primitive")
	return &PrimitiveSpec{}, err
}

func primitiveGetEnum(stringName string) (primitiveEnum, error) {
	for i := 0; i < len(primitiveCoreSpecs); i++ {
		if primitiveCoreSpecs[i].Name == stringName {
			return primitiveCoreSpecs[i].ID, nil
		}
	}
	for i := 0; i < len(primitiveSpecs); i++ {
		if primitiveSpecs[i].Name == stringName {
			return primitiveSpecs[i].ID, nil
		}
	}
	err := fmt.Errorf("unknown primitive")
	return primitiveEnumEmpty, err
}

func primitiveGetArity(p *Primitive) ([]int, error) {
	if primitiveIsCorePrimitive(p.ID) {
		prim, err := primitiveCoreGet(p.ID)
		if err != nil {
			return []int{}, err
		}
		return prim.Arity, nil
	}
	prim, err := primitiveGet(p.ID)
	if err != nil {
		return []int{}, err
	}
	return prim.Arity, nil
}
