GuildOfWeavers / genSTARK

A library for generating zk-STARKs.

GuildOfWeavers/genSTARK Issues

the link of AirScript is invalid
Updated 9 months ago
error when running examples
Closed 2 years ago2
Low degree proof fails for small number of steps
Updated 4 years ago1
Security level of a STARK
Updated 5 years ago4
Typescript compilation error: cannot find namespace 'WebAssembly'
Closed 5 years ago3
Implement example STARK for a Poseidon hash function
Closed 5 years ago1
Conflicting node versions
Closed 5 years ago2
Reduce proof size
Updated 5 years ago
Cannot define repeated readonly registers with only 2 values
Closed 5 years ago1
Proof size should not depend on the number of boundary and transition constraints
Closed 5 years ago1
Add an example STARK for proving Merkle tree membership
Closed 5 years ago1
Refactor arithmetic script parsing
Closed 5 years ago1
Add an example STARK for proving knowledge of hash preimage
Closed 5 years ago1
Potentially simplify linear combination for low degree proof
Closed 5 years ago1
Use expressions to define transition function and constraints
Closed 5 years ago1
Determine appropriate defaults
Updated 5 years ago