Crate aluvm

AluVM ISA extension for zero knowledge applications, implementing Galois field arithmetics.

Modules

alu

Rust implementation of AluVM (arithmetic logic unit virtual machine) and assembler from Alu Assembly language into bytecode.

gfa

Galois field arithmetic ISA

zkstl

Strict types library generator methods.

Macros

isa

Macro for constructing ISA identifiers

zk_aluasm

Macro compiler for AluVM assembler.

Structs

GfaConfig

Configuration for initializing the zk-AluVM core (GFA256 ISA extension).

GfaCore

An extension of AluVM core for the GFA256 ISA.

fe256

Element of a Galois finite field.

Enums

ParseFeError

Errors parsing field elements.

RegE

Registers storing field elements.

Constants

FIELD_ORDER_25519

Field order for the group used in the Curve25519 elliptic curve construction.

FIELD_ORDER_SECP

Field order for the group used in SECP256K1 elliptic curve construction.

FIELD_ORDER_STARK

Field order for the group used in the “Stark” elliptic curve construction.

LIB_NAME_FINITE_FIELD

Name for the strict type library.