pub type NonRootCommittedExe = VmCommittedExe<SC>;
Aliased Type§
struct NonRootCommittedExe {
pub exe: VmExe<MontyField31<BabyBearParameters>>,
pub committed_program: CommittedTraceData<StarkConfig<TwoAdicFriPcs<MontyField31<BabyBearParameters>, Radix2DitParallel<MontyField31<BabyBearParameters>>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>, FriLogUpPhase<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, DuplexChallenger<MontyField31<BabyBearParameters>, Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8>>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, DuplexChallenger<MontyField31<BabyBearParameters>, Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8>>>,
}
Fields§
§exe: VmExe<MontyField31<BabyBearParameters>>
Raw executable.
committed_program: CommittedTraceData<StarkConfig<TwoAdicFriPcs<MontyField31<BabyBearParameters>, Radix2DitParallel<MontyField31<BabyBearParameters>>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>, FriLogUpPhase<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, DuplexChallenger<MontyField31<BabyBearParameters>, Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8>>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, DuplexChallenger<MontyField31<BabyBearParameters>, Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8>>>
Committed program trace.