Code

chore: create a Gemini prover#8622

Code

Merged

maramihali merged 6 commits intomasterAztecProtocol/aztec-packages:masterfrom mm/gemini-proverAztecProtocol/aztec-packages:mm/gemini-proverCopy head branch name to clipboardSep 18, 2024

+243-414

Commits

Commits on Sep 18, 2024

• create a gemini prover and cleanup

  maramihali

  committed
  859f33d

• fix shplemini

  maramihali

  committed
  7dd17f0

• cleanup

  maramihali

  committed
  1f5c083

• Merge remote-tracking branch 'origin/master' into mm/gemini-prover

  maramihali

  committed
  763d0e1

• more cleanup

  maramihali

  committed
  318f98b

• wops, I forgot to commit an undo for a function removal

  maramihali

  committed
  d3bd8a8