Documentation
¶
Index ¶
- type Krypto
- func (k *Krypto) Bn128add(c1 m.KReference, c2 m.KReference, lbl m.KLabel, sort m.Sort, ...) (m.KReference, error)
- func (k *Krypto) Bn128ate(c1 m.KReference, c2 m.KReference, lbl m.KLabel, sort m.Sort, ...) (m.KReference, error)
- func (k *Krypto) Bn128g2valid(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ...) (m.KReference, error)
- func (k *Krypto) Bn128mul(c1 m.KReference, c2 m.KReference, lbl m.KLabel, sort m.Sort, ...) (m.KReference, error)
- func (k *Krypto) Bn128valid(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ...) (m.KReference, error)
- func (k *Krypto) EcdsaRecover(c1 m.KReference, c2 m.KReference, c3 m.KReference, c4 m.KReference, ...) (m.KReference, error)
- func (k *Krypto) Keccak256(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ...) (m.KReference, error)
- func (k *Krypto) Ripemd160(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ...) (m.KReference, error)
- func (k *Krypto) Sha256(c m.KReference, lbl m.KLabel, sort m.Sort, config m.KReference, ...) (m.KReference, error)
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
Source Files
Click to show internal directories.
Click to hide internal directories.