kryptoadapter

package
v0.0.9 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jul 15, 2019 License: GPL-3.0 Imports: 3 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type Krypto

type Krypto struct {
	Upstream vmi.CryptoHook
}

Krypto is an adapter between K and the outside world

func (*Krypto) Bn128add

func (k *Krypto) Bn128add(c1 m.KReference, c2 m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Bn128add adapts between K model and elrond function

func (*Krypto) Bn128ate

func (k *Krypto) Bn128ate(c1 m.KReference, c2 m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Bn128ate adapts between K model and elrond function

func (*Krypto) Bn128g2valid

func (k *Krypto) Bn128g2valid(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Bn128g2valid adapts between K model and elrond function

func (*Krypto) Bn128mul

func (k *Krypto) Bn128mul(c1 m.KReference, c2 m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Bn128mul adapts between K model and elrond function

func (*Krypto) Bn128valid

func (k *Krypto) Bn128valid(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Bn128valid adapts between K model and elrond function

func (*Krypto) EcdsaRecover

func (k *Krypto) EcdsaRecover(c1 m.KReference, c2 m.KReference, c3 m.KReference, c4 m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

EcdsaRecover adapts between K model and elrond function

func (*Krypto) Keccak256

func (k *Krypto) Keccak256(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Keccak256 adapts between K model and elrond function

func (*Krypto) Ripemd160

func (k *Krypto) Ripemd160(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Ripemd160 adapts between K model and elrond function

func (*Krypto) Sha256

func (k *Krypto) Sha256(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ms *m.ModelState) (m.KReference, error)

Sha256 adapts between K model and elrond function

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL