lambdaclass/lambdaworks_stark_platinum

Issues

• Feat: Add functionality to deserialize Cairo public inputs #96

  #244 opened a year ago by Cevedale
  0

• Add functionality to deserialize Cairo public inputs

  #96 opened a year ago by entropidelic
  1

• Fast Mersennes Prime Field

  #241 opened a year ago by MauroToscano
  1

• Update fibonacci_cairo1.cairo to Cairo 2

  #235 opened a year ago by ginika-chinonso
  0

• Range check built-in is not enforcing range checks for the decomposed fields

  #229 opened a year ago by MauroToscano
  0

• how to genreate the casm json file?

  #215 opened a year ago by ZeroKPunk
  1

• Migrate CLI to Clap 4

  #222 opened a year ago by MauroToscano
  0

• Add public inputs to CLI

  #224 opened a year ago by MauroToscano
  0

• Add support for arguments for prover to CLI in Cairo 0

  #223 opened a year ago by MauroToscano
  0

• Make the CLI work for programs with builtins

  #81 opened a year ago by gabrielbosio
  2

• Support trace.bin and memory.bin generated from cairo0-run for proving

  #220 opened a year ago by feltroidprime
  0

• Move CLI in a new Crate

  #221 opened a year ago by MauroToscano
  0

• Security level for CLI is too low

  #203 opened a year ago by MauroToscano
  0

• FRI fails for high degree constraints

  #202 opened a year ago by mcarilli
  2

• Pretty print main trace

  #198 opened a year ago by gabrielbosio
  0

• Add check to proof options to ensure they reach security level

  #71 opened a year ago by diegokingston
  0

• Trace and memory files creation

  #190 opened a year ago by gabrielbosio
  0

• sec: several things the verifier should check

  #110 opened a year ago by diegokingston
  3

• Improve benchmarks

  #174 opened a year ago by gabrielbosio
  0

• Document which offsets are viable, return an error if it's not viable when creating a ProofOption

  #170 opened a year ago by MauroToscano
  0

• Check latex renderization problem in docs hosted in github pages

  #151 opened a year ago by entropidelic
  0

• Fix metal feature

  #97 opened a year ago by entropidelic
  0

• Add make target for compiling all cairo programs used in tests

  #86 opened a year ago by entropidelic
  0

• perf: avoid repeated calculation of correction degree term

  #108 opened a year ago by diegokingston
  0

• Make sure that every value in the FRI layers is checked

  #91 opened a year ago by diegokingston
  1

• Check performance against others

  #140 opened a year ago by unbalancedparentheses
  0

• Just one consistency check on Deep(x) is unsound

  #67 opened a year ago by mcarilli
  6

• Cairo0 programs with Docker can be compiled in one go for tests to make it faster

  #114 opened a year ago by MauroToscano
  0

• Add output builtin

  #90 opened a year ago by entropidelic
  0

• Check performance of sorting algorithm

  #111 opened a year ago by diegokingston
  0

• perf: do just one batch inversion

  #109 opened a year ago by diegokingston
  0

• perf: avoid recalculating twiddle factors

  #107 opened a year ago by diegokingston
  0

• perf: verifier. Take divisors of upsilon_0 - z^2 outside and perform batch inversion

  #106 opened a year ago by diegokingston
  0

• perf: group boundary constraints by their zerofier

  #105 opened a year ago by diegokingston
  0

• perf: avoid divisions in running product during RAP phase

  #104 opened a year ago by diegokingston
  0

• Change Prover/Verifier in FRI query phase to do a smaller amount of hashes

  #100 opened a year ago by feltroidprime
  0

• Range-check address step constraint

  #83 opened a year ago by gabrielbosio
  0

• Range-check initial address constraint

  #82 opened a year ago by gabrielbosio
  0

• Range check built in lacks constraints

  #88 opened a year ago by MauroToscano
  0

• Enforce selectors can be used by a malicious Prover to remove constraints

  #78 opened a year ago by MauroToscano
  0

• Make get_powers_of_primitive_root_coset to return an iterator

  #64 opened a year ago by entropidelic
  0

• Improve verifier

  #62 opened a year ago by diegokingston
  0

• Avoid calculating repeated elements in degree adjustment

  #58 opened a year ago by diegokingston
  0

• Benchmark different hash functions for Merkle Trees

  #57 opened a year ago by diegokingston
  0

• Run benchmarks with Amazon Graviton 3 (64 cores)

  #56 opened a year ago by diegokingston
  0

• Change AIR to group constraints according to their zerofier and degree correction

  #52 opened a year ago by diegokingston
  0

• Take advantage of the structure of roots of unity to avoid inversions

  #51 opened a year ago by diegokingston
  0

• Change evaluation form of boundary zerofiers

  #44 opened a year ago by diegokingston
  0

• Avoid recalculating domain when using FFT

  #43 opened a year ago by diegokingston
  0

• Remove enforce selector constraint

  #42 opened a year ago by entropidelic
  0