starkoracles/Aero

Issues

• Merge boundary and combine results

  #14 opened 2 years ago by starkoracles
  0

• Find a better name for the project

  #5 opened 2 years ago by starkoracles
  2

• Debug merge transition and generate test harness

  #12 opened 2 years ago by starkoracles
  0

• Implement boundary constraint translation

  #11 opened 2 years ago by starkoracles
  0

• Implement first iteration of transition constraints

  #8 opened 2 years ago by starkoracles
  1

• Implement Miden's AIR constraints

  #1 opened 2 years ago by starkoracles
  1

• Build initial sdk

  #7 opened 2 years ago by starkoracles
  0

• Experiment with different hash functions to improve performance and cost

  #6 opened 2 years ago by starkoracles
  0

• Enable field extension

  #4 opened 2 years ago by starkoracles
  0

• Remove proof parameter hardcoding

  #3 opened 2 years ago by starkoracles
  0

• Soundness of hints usage within the verifier

  #2 opened 2 years ago by starkoracles
  0