Skip to main content

DslIr

sp1_recursion_compiler::ir

Enum DslIr 

Source 
pub enum DslIr<C: Config> {

Show 96 variants    ImmV(Var<C::N>, C::N),
    ImmF(Felt<SP1Field>, SP1Field),
    ImmE(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    AddV(Var<C::N>, Var<C::N>, Var<C::N>),
    AddVI(Var<C::N>, Var<C::N>, C::N),
    AddF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>),
    AddFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field),
    AddE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    AddEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    AddEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>),
    AddEFFI(Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>, SP1ExtensionField),
    SubV(Var<C::N>, Var<C::N>, Var<C::N>),
    SubVI(Var<C::N>, Var<C::N>, C::N),
    SubVIN(Var<C::N>, C::N, Var<C::N>),
    SubF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>),
    SubFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field),
    SubFIN(Felt<SP1Field>, SP1Field, Felt<SP1Field>),
    SubE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    SubEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    SubEIN(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField, Ext<SP1Field, SP1ExtensionField>),
    SubEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>),
    MulV(Var<C::N>, Var<C::N>, Var<C::N>),
    MulVI(Var<C::N>, Var<C::N>, C::N),
    MulF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>),
    MulFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field),
    MulE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    MulEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    MulEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>),
    DivF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>),
    DivFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field),
    DivFIN(Felt<SP1Field>, SP1Field, Felt<SP1Field>),
    DivE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    DivEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    DivEIN(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField, Ext<SP1Field, SP1ExtensionField>),
    DivEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>),
    NegV(Var<C::N>, Var<C::N>),
    NegF(Felt<SP1Field>, Felt<SP1Field>),
    NegE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    InvV(Var<C::N>, Var<C::N>),
    InvF(Felt<SP1Field>, Felt<SP1Field>),
    InvE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    Select(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>),
    AssertEqV(Var<C::N>, Var<C::N>),
    AssertNeV(Var<C::N>, Var<C::N>),
    AssertEqF(Felt<SP1Field>, Felt<SP1Field>),
    AssertNeF(Felt<SP1Field>, Felt<SP1Field>),
    AssertEqE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    AssertNeE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    AssertEqVI(Var<C::N>, C::N),
    AssertNeVI(Var<C::N>, C::N),
    AssertEqFI(Felt<SP1Field>, SP1Field),
    AssertNeFI(Felt<SP1Field>, SP1Field),
    AssertEqEI(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    AssertNeEI(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField),
    ReduceE(Ext<SP1Field, SP1ExtensionField>),
    CircuitNum2BitsV(Var<C::N>, usize, Vec<Var<C::N>>),
    CircuitNum2BitsF(Felt<SP1Field>, Vec<Var<C::N>>),
    CircuitFelt2Var(Felt<SP1Field>, Var<C::N>),
    Poseidon2ExternalLinearLayer(Box<([Ext<SP1Field, SP1ExtensionField>; 4], [Ext<SP1Field, SP1ExtensionField>; 4])>),
    Poseidon2InternalLinearLayer(Box<([Ext<SP1Field, SP1ExtensionField>; 4], [Ext<SP1Field, SP1ExtensionField>; 4])>),
    Poseidon2ExternalSBOX(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    Poseidon2InternalSBOX(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    CircuitPoseidon2Permute([Var<C::N>; 3]),
    CircuitPoseidon2PermuteKoalaBear(Box<[Felt<SP1Field>; 16]>),
    CircuitV2Poseidon2PermuteKoalaBear(Box<([Felt<SP1Field>; 16], [Felt<SP1Field>; 16])>),
    CircuitV2CommitPublicValues(Box<RecursionPublicValues<Felt<SP1Field>>>),
    CircuitV2HintBitsF(Vec<Felt<SP1Field>>, Felt<SP1Field>),
    PrintV(Var<C::N>),
    PrintF(Felt<SP1Field>),
    PrintE(Ext<SP1Field, SP1ExtensionField>),
    Error(),
    CircuitV2HintFelts(Felt<SP1Field>, usize),
    CircuitV2HintExts(Ext<SP1Field, SP1ExtensionField>, usize),
    WitnessVar(Var<C::N>, u32),
    WitnessFelt(Felt<SP1Field>, u32),
    WitnessExt(Ext<SP1Field, SP1ExtensionField>, u32),
    Commit(Felt<SP1Field>, Var<C::N>),
    CircuitCommitVkeyHash(Var<C::N>),
    CircuitCommitCommittedValuesDigest(Var<C::N>),
    CircuitCommitExitCode(Var<C::N>),
    CircuitCommitVkRoot(Var<C::N>),
    CircuitCommitProofNonce(Var<C::N>),
    CircuitV2HintAddCurve(Box<(SepticCurve<Felt<SP1Field>>, SepticCurve<Felt<SP1Field>>, SepticCurve<Felt<SP1Field>>)>),
    CircuitV2PrefixSumChecks(Box<(Felt<SP1Field>, Ext<SP1Field, SP1ExtensionField>, Vec<Ext<SP1Field, SP1ExtensionField>>, Vec<Felt<SP1Field>>, Vec<Felt<SP1Field>>, Vec<Ext<SP1Field, SP1ExtensionField>>)>),
    CircuitSelectV(Var<C::N>, Var<C::N>, Var<C::N>, Var<C::N>),
    CircuitSelectF(Var<C::N>, Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>),
    CircuitSelectE(Var<C::N>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    CircuitExt2Felt([Felt<SP1Field>; 4], Ext<SP1Field, SP1ExtensionField>),
    CircuitFelts2Ext([Felt<SP1Field>; 4], Ext<SP1Field, SP1ExtensionField>),
    EqEval(Felt<SP1Field>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>),
    CircuitChipExt2Felt([Felt<SP1Field>; 4], Ext<SP1Field, SP1ExtensionField>),
    CircuitChipFelt2Ext(Ext<SP1Field, SP1ExtensionField>, [Felt<SP1Field>; 4]),
    CycleTrackerV2Enter(Cow<'static, str>),
    CycleTrackerV2Exit,
    Parallel(Vec<DslIrBlock<C>>),
    DebugBacktrace(Backtrace),

}
Expand description

An intermeddiate instruction set for implementing programs.

Programs written in the DSL can compile both to the recursive zkVM and the R1CS or Plonk-ish circuits.

Variants§

§

ImmV(Var<C::N>, C::N)

Assigns an immediate to a variable (var = imm).

§

ImmF(Felt<SP1Field>, SP1Field)

Assigns a field immediate to a field element (felt = field imm).

§

ImmE(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Assigns an ext field immediate to an extension field element (ext = ext field imm).

§

AddV(Var<C::N>, Var<C::N>, Var<C::N>)

Add two variables (var = var + var).

§

AddVI(Var<C::N>, Var<C::N>, C::N)

Add a variable and an immediate (var = var + imm).

§

AddF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>)

Add two field elements (felt = felt + felt).

§

AddFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field)

Add a field element and a field immediate (felt = felt + field imm).

§

AddE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Add two extension field elements (ext = ext + ext).

§

AddEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Add an extension field element and an ext field immediate (ext = ext + ext field imm).

§

AddEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>)

Add an extension field element and a field element (ext = ext + felt).

§

AddEFFI(Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>, SP1ExtensionField)

Add a field element and an ext field immediate (ext = felt + ext field imm).

§

SubV(Var<C::N>, Var<C::N>, Var<C::N>)

Subtracts two variables (var = var - var).

§

SubVI(Var<C::N>, Var<C::N>, C::N)

Subtracts a variable and an immediate (var = var - imm).

§

SubVIN(Var<C::N>, C::N, Var<C::N>)

Subtracts an immediate and a variable (var = imm - var).

§

SubF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>)

Subtracts two field elements (felt = felt - felt).

§

SubFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field)

Subtracts a field element and a field immediate (felt = felt - field imm).

§

SubFIN(Felt<SP1Field>, SP1Field, Felt<SP1Field>)

Subtracts a field immediate and a field element (felt = field imm - felt).

§

SubE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Subtracts two extension field elements (ext = ext - ext).

§

SubEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Subtrancts an extension field element and an extension field immediate (ext = ext - ext field imm).

§

SubEIN(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField, Ext<SP1Field, SP1ExtensionField>)

Subtracts an extension field immediate and an extension field element (ext = ext field imm

  • ext).
§

SubEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>)

Subtracts an extension field element and a field element (ext = ext - felt).

§

MulV(Var<C::N>, Var<C::N>, Var<C::N>)

Multiplies two variables (var = var * var).

§

MulVI(Var<C::N>, Var<C::N>, C::N)

Multiplies a variable and an immediate (var = var * imm).

§

MulF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>)

Multiplies two field elements (felt = felt * felt).

§

MulFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field)

Multiplies a field element and a field immediate (felt = felt * field imm).

§

MulE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Multiplies two extension field elements (ext = ext * ext).

§

MulEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Multiplies an extension field element and an extension field immediate (ext = ext * ext field imm).

§

MulEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>)

Multiplies an extension field element and a field element (ext = ext * felt).

§

DivF(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>)

Divides two variables (var = var / var).

§

DivFI(Felt<SP1Field>, Felt<SP1Field>, SP1Field)

Divides a field element and a field immediate (felt = felt / field imm).

§

DivFIN(Felt<SP1Field>, SP1Field, Felt<SP1Field>)

Divides a field immediate and a field element (felt = field imm / felt).

§

DivE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Divides two extension field elements (ext = ext / ext).

§

DivEI(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Divides an extension field element and an extension field immediate (ext = ext / ext field imm).

§

DivEIN(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField, Ext<SP1Field, SP1ExtensionField>)

Divides and extension field immediate and an extension field element (ext = ext field imm / ext).

§

DivEF(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Felt<SP1Field>)

Divides an extension field element and a field element (ext = ext / felt).

§

NegV(Var<C::N>, Var<C::N>)

Negates a variable (var = -var).

§

NegF(Felt<SP1Field>, Felt<SP1Field>)

Negates a field element (felt = -felt).

§

NegE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Negates an extension field element (ext = -ext).

§

InvV(Var<C::N>, Var<C::N>)

Inverts a variable (var = 1 / var).

§

InvF(Felt<SP1Field>, Felt<SP1Field>)

Inverts a field element (felt = 1 / felt).

§

InvE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Inverts an extension field element (ext = 1 / ext).

§

Select(Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>)

Selects order of felts based on a bit (should_swap, first result, second result, first input, second input)

§

AssertEqV(Var<C::N>, Var<C::N>)

Assert that two variables are equal (var == var).

§

AssertNeV(Var<C::N>, Var<C::N>)

Assert that two variables are not equal (var != var).

§

AssertEqF(Felt<SP1Field>, Felt<SP1Field>)

Assert that two field elements are equal (felt == felt).

§

AssertNeF(Felt<SP1Field>, Felt<SP1Field>)

Assert that two field elements are not equal (felt != felt).

§

AssertEqE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Assert that two extension field elements are equal (ext == ext).

§

AssertNeE(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Assert that two extension field elements are not equal (ext != ext).

§

AssertEqVI(Var<C::N>, C::N)

Assert that a variable is equal to an immediate (var == imm).

§

AssertNeVI(Var<C::N>, C::N)

Assert that a variable is not equal to an immediate (var != imm).

§

AssertEqFI(Felt<SP1Field>, SP1Field)

Assert that a field element is equal to a field immediate (felt == field imm).

§

AssertNeFI(Felt<SP1Field>, SP1Field)

Assert that a field element is not equal to a field immediate (felt != field imm).

§

AssertEqEI(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Assert that an extension field element is equal to an extension field immediate (ext == ext field imm).

§

AssertNeEI(Ext<SP1Field, SP1ExtensionField>, SP1ExtensionField)

Assert that an extension field element is not equal to an extension field immediate (ext != ext field imm).

§

ReduceE(Ext<SP1Field, SP1ExtensionField>)

Force reduction of field elements in circuit.

§

CircuitNum2BitsV(Var<C::N>, usize, Vec<Var<C::N>>)

Decompose a variable into size bits (bits = num2bits(var, size)). Should only be used when target is a gnark circuit.

§

CircuitNum2BitsF(Felt<SP1Field>, Vec<Var<C::N>>)

Decompose a field element into bits (bits = num2bits(felt)). Should only be used when target is a gnark circuit.

§

CircuitFelt2Var(Felt<SP1Field>, Var<C::N>)

Convert a Felt to a Var in a circuit. Avoids decomposing to bits and then reconstructing.

§

Poseidon2ExternalLinearLayer(Box<([Ext<SP1Field, SP1ExtensionField>; 4], [Ext<SP1Field, SP1ExtensionField>; 4])>)

Performs the external linear layer of Poseidon2.

§

Poseidon2InternalLinearLayer(Box<([Ext<SP1Field, SP1ExtensionField>; 4], [Ext<SP1Field, SP1ExtensionField>; 4])>)

Performs the internal linear layer of Poseidon2.

§

Poseidon2ExternalSBOX(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Performs the external SBOX mapping for Poseidon2 in a batch.

§

Poseidon2InternalSBOX(Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Performs the internal SBOX mapping for Poseidon2 in a batch.

§

CircuitPoseidon2Permute([Var<C::N>; 3])

Permutes an array of Bn254 elements using Poseidon2 (output = p2_permute(array)). Should only be used when target is a gnark circuit.

§

CircuitPoseidon2PermuteKoalaBear(Box<[Felt<SP1Field>; 16]>)

Permutates an array of SP1Field elements in the circuit.

§

CircuitV2Poseidon2PermuteKoalaBear(Box<([Felt<SP1Field>; 16], [Felt<SP1Field>; 16])>)

Permutates an array of SP1Field elements in the circuit using the skinny precompile.

§

CircuitV2CommitPublicValues(Box<RecursionPublicValues<Felt<SP1Field>>>)

Commits the public values.

§

CircuitV2HintBitsF(Vec<Felt<SP1Field>>, Felt<SP1Field>)

Decompose hint operation of a field element into an array. (output = num2bits(felt)).

§

PrintV(Var<C::N>)

Prints a variable.

§

PrintF(Felt<SP1Field>)

Prints a field element.

§

PrintE(Ext<SP1Field, SP1ExtensionField>)

Prints an extension field element.

§

Error()

Throws an error.

§

CircuitV2HintFelts(Felt<SP1Field>, usize)

Hint an array of field elements.

§

CircuitV2HintExts(Ext<SP1Field, SP1ExtensionField>, usize)

Hint an array of extension field elements.

§

WitnessVar(Var<C::N>, u32)

Witness a variable. Should only be used when target is a gnark circuit.

§

WitnessFelt(Felt<SP1Field>, u32)

Witness a field element. Should only be used when target is a gnark circuit.

§

WitnessExt(Ext<SP1Field, SP1ExtensionField>, u32)

Witness an extension field element. Should only be used when target is a gnark circuit.

§

Commit(Felt<SP1Field>, Var<C::N>)

Label a field element as the ith public input.

§

CircuitCommitVkeyHash(Var<C::N>)

Asserts that the inputted var is equal the circuit’s vkey hash public input. Should only be used when target is a gnark circuit.

§

CircuitCommitCommittedValuesDigest(Var<C::N>)

Asserts that the inputted var is equal the circuit’s committed values digest public input. Should only be used when target is a gnark circuit.

§

CircuitCommitExitCode(Var<C::N>)

Asserts that the inputted var is equal the circuit’s exit code public input. Should only be used when target is a gnark circuit.

§

CircuitCommitVkRoot(Var<C::N>)

Asserts that the inputted var is equal the circuit’s vk root public input. Should only be used when target is a gnark circuit.

§

CircuitCommitProofNonce(Var<C::N>)

Asserts that the inputted var is equal the circuit’s proof nonce public input. Should only be used when target is a gnark circuit.

§

CircuitV2HintAddCurve(Box<(SepticCurve<Felt<SP1Field>>, SepticCurve<Felt<SP1Field>>, SepticCurve<Felt<SP1Field>>)>)

Adds two elliptic curve points. (sum, point_1, point_2).

§

CircuitV2PrefixSumChecks(Box<(Felt<SP1Field>, Ext<SP1Field, SP1ExtensionField>, Vec<Ext<SP1Field, SP1ExtensionField>>, Vec<Felt<SP1Field>>, Vec<Felt<SP1Field>>, Vec<Ext<SP1Field, SP1ExtensionField>>)>)

Executes full lagrange eval as well as computes field element that corresponds to input bit representation.

§

CircuitSelectV(Var<C::N>, Var<C::N>, Var<C::N>, Var<C::N>)

Select’s a variable based on a condition. (select(cond, true_val, false_val) => output). Should only be used when target is a gnark circuit.

§

CircuitSelectF(Var<C::N>, Felt<SP1Field>, Felt<SP1Field>, Felt<SP1Field>)

Select’s a field element based on a condition. (select(cond, true_val, false_val) => output). Should only be used when target is a gnark circuit.

§

CircuitSelectE(Var<C::N>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Select’s an extension field element based on a condition. (select(cond, true_val, false_val) => output). Should only be used when target is a gnark circuit.

§

CircuitExt2Felt([Felt<SP1Field>; 4], Ext<SP1Field, SP1ExtensionField>)

Converts an ext to a slice of felts. Should only be used when target is a gnark circuit.

§

CircuitFelts2Ext([Felt<SP1Field>; 4], Ext<SP1Field, SP1ExtensionField>)

Converts a slice of felts to an ext. Should only be used when target is a gnark circuit.

§

EqEval(Felt<SP1Field>, Ext<SP1Field, SP1ExtensionField>, Ext<SP1Field, SP1ExtensionField>)

Evaluates a single eq computation, while verifying that the first element is a bit. Should only be used when target is a gnark circuit.

§

CircuitChipExt2Felt([Felt<SP1Field>; 4], Ext<SP1Field, SP1ExtensionField>)

Converts a slice of felts to an ext, using a chip. Should be used for wrap.

§

CircuitChipFelt2Ext(Ext<SP1Field, SP1ExtensionField>, [Felt<SP1Field>; 4])

Converts an ext to a slice of felts, using a chip. Should be used for wrap.

§

CycleTrackerV2Enter(Cow<'static, str>)

Tracks the number of cycles used by a block of code annotated by the string input.

§

CycleTrackerV2Exit

Tracks the number of cycles used by a block of code annotated by the string input.

§

Parallel(Vec<DslIrBlock<C>>)

Blocks that may be executed in parallel.

§

DebugBacktrace(Backtrace)

Pass a backtrace for debugging.

Trait Implementations§

Source§

impl<C: Clone + Config> Clone for DslIr<C>
where C::N: Clone,

Source§

fn clone(&self) -> DslIr<C>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<C: Debug + Config> Debug for DslIr<C>
where C::N: Debug,

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<C> Freeze for DslIr<C>
where <C as Config>::N: Freeze,

§

impl<C> RefUnwindSafe for DslIr<C>
where <C as Config>::N: RefUnwindSafe,

§

impl<C> Send for DslIr<C>

§

impl<C> Sync for DslIr<C>

§

impl<C> Unpin for DslIr<C>
where <C as Config>::N: Unpin,

§

impl<C> UnsafeUnpin for DslIr<C>
where <C as Config>::N: UnsafeUnpin,

§

impl<C> UnwindSafe for DslIr<C>
where <C as Config>::N: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> Conv for T

Source§

fn conv<T>(self) -> T
where Self: Into<T>,

Converts self into T using Into<T>. Read more
Source§

impl<F, EF, E> ExtensionOperand<F, EF> for E
where F: Field, EF: ExtensionField<F>, E: Any,

Source§

fn to_operand(self) -> ExtOperand<F, EF>

Source§

impl<T> FmtForward for T

Source§

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.
Source§

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

Causes self to use its Display implementation when Debug-formatted.
Source§

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.
Source§

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.
Source§

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.
Source§

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.
Source§

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.
Source§

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.
Source§

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<Challenger, A> FromChallenger<Challenger, A> for Challenger
where Challenger: Clone,

Source§

fn from_challenger(challenger: &Challenger, _backend: &A) -> Challenger

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pipe for T
where T: ?Sized,

Source§

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

Pipes by value. This is generally the method you want to use. Read more
Source§

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

Borrows self and passes that borrow into the pipe function. Read more
Source§

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more
Source§

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more
Source§

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
where Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
Source§

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.
Source§

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.
Source§

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.
Source§

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> Tap for T

Source§

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more
Source§

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more
Source§

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more
Source§

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more
Source§

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more
Source§

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more
Source§

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more
Source§

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more
Source§

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.
Source§

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.
Source§

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.
Source§

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.
Source§

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> TryConv for T

Source§

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T, V> OwnedBorrow<T> for V
where V: Borrow<T> + Send + Sync + Clone + 'static, T: ?Sized,

Source§

impl<T> TaskInput for T
where T: 'static + Send + Sync,