Types & classes — github.com/andrewmilson/ministark

CodeHub MCPcopy Create free account

hub / github.com/andrewmilson/ministark / types & classes

Types & classes131 in github.com/andrewmilson/ministark

⨍ Functions 407◇ Types & classes 131

↓ 50 callersClassLde

Rust vector and its corresponding GPU buffer

src/eval_gpu.rs:220

↓ 5 callersClassDegree

Degree of the form `(numerator_degree, denominator_degree)`

src/constraints.rs:408

↓ 2 callersClassMatrix

Matrix is an array of columns.

src/matrix.rs:26

↓ 2 callersInterfaceTrace

src/trace.rs:15

↓ 1 callersEnumChallenge

examples/brainfuck/tables.rs:8

↓ 1 callersClassCheckedEval

src/constraints.rs:181

↓ 1 callersClassFibClaim

examples/fib/main.rs:146

↓ 1 callersClassFibTrace

examples/fib/main.rs:29

↓ 1 callersInterfaceHint

src/constraints.rs:349

ClassAddAssignConstStage

gpu/src/stage.rs:637

ClassAddAssignStage

gpu/src/stage.rs:393

ClassAddIntoConstStage

gpu/src/stage.rs:523

ClassAddIntoStage

gpu/src/stage.rs:457

InterfaceAirConfig

EnumAlgebraicItem

src/constraints.rs:21

ClassBitReverseGpuStage

FFT stage to perform a bit reversal of an input array in place

gpu/src/stage.rs:280

ClassBrainfuckAirConfig

examples/brainfuck/air.rs:23

ClassBrainfuckClaim

examples/brainfuck/main.rs:56

InterfaceBrainfuckColumn

examples/brainfuck/tables.rs:1

EnumBrainfuckOptions

examples/brainfuck/main.rs:36

ClassBrainfuckTrace

examples/brainfuck/trace.rs:29

ClassChallenges

src/challenges.rs:10

ClassCompositionConstraint

src/constraints.rs:306

EnumCompositionItem

src/constraints.rs:284

ClassConstraint

src/constraints.rs:145

ClassConvertIntoStage

gpu/src/stage.rs:581

ClassDeepCompositionCoeffs

src/composer.rs:191

ClassDeepPolyComposer

src/composer.rs:17

InterfaceDigest

Defines output type for a cryptographic hash function. Digest trait from Winterfell: <https://github.com/facebook/winterfell/blob/main/crypto/src/hash

InterfaceElementHashFn

Defines a cryptographic hash function for hashing field elements. This trait defines a hash procedure for a sequence of field elements. The elements

src/merkle.rs:19

src/eval_cpu.rs:260

EnumEvaluationArgumentHint

examples/brainfuck/tables.rs:29

ClassEvaluationItem

src/eval_gpu.rs:272

EnumEvaluationVariant

src/eval_gpu.rs:223

InterfaceExecutionTraceColumn

An interface for types that can symbolically represent a column of an execution trace

src/constraints.rs:382

ClassExpInPlaceStage

gpu/src/stage.rs:1056

ClassExpIntoStage

gpu/src/stage.rs:999

src/expression.rs:33

EnumFftDirection

gpu/src/plan.rs:178

ClassFftEncoder

gpu/src/plan.rs:186

ClassFftGpuStage

gpu/src/stage.rs:37

gpu/src/stage.rs:20

ClassFibAirConfig

examples/fib/main.rs:54

examples/fib/main.rs:50

src/utils.rs:207

EnumFieldVariant

src/utils.rs:250

ClassFillBuffStage

gpu/src/stage.rs:1111

ClassFpMontConfig

gpu/src/fields.rs:242

gpu/src/fields.rs:78

ClassFriOptions

ClassFriVerifier

Fri verifier adapted from Winterfell to match Starkware's verifier <https://github.com/facebook/winterfell/blob/main/fri/src/verifier/mod.rs#L58>

ClassGenerateTwiddlesStage

gpu/src/stage.rs:1157

InterfaceGpuAdd

A marker trait to be implemented if `Self + Rhs` can be done on the GPU

gpu/src/lib.rs:27

ClassGpuAllocator

Allocator with page aligned allocations on Apple Silicon. Uses global allocator on all other platforms.

src/utils.rs:444

gpu/src/plan.rs:236

InterfaceGpuFftField

A trait to be implemented if the field can be used for FFTs on the GPU.

gpu/src/lib.rs:21

InterfaceGpuField

A marker trait for fields that have a GPU implementation

gpu/src/lib.rs:33

InterfaceGpuFrom

A marker trait indicating `Self` can be converted to `Rhs` on the GPU

gpu/src/lib.rs:30

gpu/src/plan.rs:282

ClassGpuLdeCalculator

Holds GPU shaders for performing arithmetic on LDEs

src/eval_gpu.rs:134

InterfaceGpuMul

A marker trait to be implemented if `Self * Rhs` can be done on the GPU

gpu/src/lib.rs:24

ClassGpuRpo256ColumnMajor

gpu/src/plan.rs:32

ClassGpuRpo256RowMajor

gpu/src/plan.rs:109

InterfaceHashFn

Trait inspired by Winterfell: <https://github.com/facebook/winterfell/blob/main/crypto/src/hash/mod.rs#L33>

ClassHashedLeafConfig

src/merkle.rs:387

src/hints.rs:10

src/expression.rs:193

EnumInputBaseColumn

examples/brainfuck/tables.rs:91

EnumInputExtensionColumn

examples/brainfuck/tables.rs:96

EnumInstructionBaseColumn

examples/brainfuck/tables.rs:77

EnumInstructionExtensionColumn

examples/brainfuck/tables.rs:85

ClassInverseInPlaceStage

gpu/src/stage.rs:808

ClassInverseIntoStage

gpu/src/stage.rs:949

ClassLayerProof

src/eval_gpu.rs:837

InterfaceMatrixMerkleTree

Merkle tree that supports proving/verifying rows of a matrix Inspired by plonky3's MMCS <https://github.com/Plonky3/Plonky3/blob/main/commit/src/mmcs

src/merkle.rs:299

ClassMatrixMerkleTreeImpl

src/merkle.rs:314

EnumMemoryBaseColumn

examples/brainfuck/tables.rs:64

EnumMemoryExtensionColumn

examples/brainfuck/tables.rs:72

InterfaceMerkleTree

src/merkle.rs:30

InterfaceMerkleTreeConfig

TODO: all these merkle tree abstractions are way out of control. need to refactor

src/merkle.rs:57

ClassMerkleTreeImpl

Merkle tree implemented as a full power-of-two arity tree. ```text # <- root node / \ # # <- nodes / \ / \ + + + + <- le

src/merkle.rs:92

ClassMerkleView

src/merkle.rs:73

ClassMulAssignConstStage

gpu/src/stage.rs:752

ClassMulAssignStage

gpu/src/stage.rs:176

ClassMulIntoConstStage

gpu/src/stage.rs:694

ClassMulIntoStage

gpu/src/stage.rs:115

ClassMulPowStage

gpu/src/stage.rs:334

ClassNegInPlaceStage

gpu/src/stage.rs:855

ClassNegIntoStage

gpu/src/stage.rs:899

examples/brainfuck/vm.rs:18

EnumOutputBaseColumn

examples/brainfuck/tables.rs:101

EnumOutputExtensionColumn

examples/brainfuck/tables.rs:106

gpu/src/utils.rs:189

ClassPageAlignedAllocator

src/utils.rs:482

next →1–100 of 131, ranked by callers