A STARK prover and verifier for arbitrary computations
MIT License
Bot releases are hidden (Show)
Serializable
and Deserializable
on String
(#258).ByteReader
and ByteWriter
. (#262).Published by irakliyk 8 months ago
Published by irakliyk 9 months ago
usize
type (#238).Serializable
and Deserializable
implementations from slices and vectors (#239).log
to tracing
for logging and added tracing-forest
feature (#241).From<u64>
and From<u128>
implementations from field elements (#243).rustc
to 1.75.Published by irakliyk 10 months ago
StarkProof
deserialization (#236).Clone
derive to DeserializationError
.StarkProof::new_dummy()
constructor (#234).Published by irakliyk 11 months ago
StarkProof::new_dummy()
constructor to simplify testing (#232).Published by irakliyk 12 months ago
ProofOption
to be const fn
.Published by irakliyk 12 months ago
TraceLde
struct with a trait (#207).RandomCoin
trait (#214).ConstraintEvaluator
struct with a trait (#217).no_std
context (#218).verify()
function to take AcceptableOptions
as a parameter (#219).rustc
to 1.73 (#221).Published by irakliyk over 1 year ago
btree_map
and btree_set
modules from core collections (#202).Published by irakliyk over 1 year ago
ConstraintCommitment
to use RowMatrix
internally (#191).get_inv_offsets
implementation (#193).build_segments()
method publicly (#194).Published by irakliyk over 1 year ago
MerkleTree
and matrix structs to make them more suitable for HW acceleration (#185).log2()
usage with native .ilog2()
(#186).Published by irakliyk over 1 year ago
no-std
context.Published by irakliyk over 1 year ago
FieldElement::EXTENSION_DEGREE
constant.FieldElement::base_element
and FieldElement::slice_from_base_elements
methods.FieldElement::as_base_elements
into FieldElement::slice_as_base_elements
.Matrix::num_base_cols
and Matrix::get_base_element
methods.Matrix
into ColMatrix
.ColMatrix
with RowMatrix
to hold LDE trace in the prover (#168).f64
field (#169).RandomCoin
struct with a trait (#176).Published by irakliyk over 1 year ago
FftInputs
trait (#124).as_int()
method for f64
field (#127, #146).f64
field (#134).f64
field (#138).TraceTable::fill()
(#149).Published by irakliyk almost 2 years ago
Published by irakliyk almost 2 years ago
f64
and f62
field.f64
field arithmetic to Montgomery form (constant time).Rp64_256
hash function.Matrix::interpolate_columns
function.BatchMerkleProof
(via BatchMerkleProof::into_paths()
method).Published by irakliyk over 2 years ago
Prover
trait.Matrix
struct in the prover which is used as a backing type for trace and constraint evaluations.ExtensionOf
trait and implemented it for all supported fields.f64
field by using inversion method based on Fermat’s little theorem.Randomizable
trait for u32
, u16
, and u8
types.AirContext::new()
now requires num_assertions
parameter.Air
trait to support multi-segment traces.rustc
to 1.60.Published by irakliyk almost 3 years ago
f64
field.f64
field.rustc
to 1.57.Air::BaseElement
to Air::BaseField
.prover::prove()
function with Prover
trait.ExecutionTrace
struct into Trace
trait and TraceTable
struct.Published by irakliyk about 3 years ago
Blake3_192
as hash function option.alloc
feature in favor of turning on no_std
via --no-default-features
flag only.rand
dependency to dev-dependencies
only and removed hashbrown
dependency.rustc
to 1.54.