Code

feat: Acir formal proofs#10973

Code

Merged

jewelofchaos9 merged 35 commits intomasterAztecProtocol/aztec-packages:masterfrom sa/acir_formal_proofsAztecProtocol/aztec-packages:sa/acir_formal_proofsCopy head branch name to clipboardJan 7, 2025

+1,389-3

Commits

Commits on Nov 18, 2024

• IT FINALLY WORKS :D

  jewelofchaos9

  committed
  a837887

  Copy full SHA for a837887

• i forgot cmakelists

  jewelofchaos9

  committed
  5750f4c

  Copy full SHA for 5750f4c

• save artifacts

  jewelofchaos9

  committed
  cc71c30

  Copy full SHA for cc71c30

Commits on Nov 21, 2024

• stable version for verifying

  jewelofchaos9

  committed
  a791e76

  Copy full SHA for a791e76

Commits on Nov 22, 2024

• dummy

  jewelofchaos9

  committed
  56559cf

  Copy full SHA for 56559cf

• IT FINALLY WORKS :D

  jewelofchaos9

  committed
  c364e63

  Copy full SHA for c364e63

• i forgot cmakelists

  jewelofchaos9

  committed
  579c5ff

  Copy full SHA for 579c5ff

• save artifacts

  jewelofchaos9

  committed
  be6ef36

  Copy full SHA for be6ef36

• stable version for verifying

  jewelofchaos9

  committed
  6b27d0e

  Copy full SHA for 6b27d0e

• dummy

  jewelofchaos9

  committed
  84319b2

  Copy full SHA for 84319b2

Commits on Nov 25, 2024

• smol refactor

  jewelofchaos9

  committed
  28cd1f9

  Copy full SHA for 28cd1f9

• smol refactor

  jewelofchaos9

  committed
  8ea00fc

  Copy full SHA for 8ea00fc

• smol refactor

  jewelofchaos9

  committed
  2ff5084

  Copy full SHA for 2ff5084

• forgot to resolve merge conflicts

  jewelofchaos9

  committed
  58c1268

  Copy full SHA for 58c1268

Commits on Nov 26, 2024

• i forgor to resolve conflicts in cargolock...

  

  root

  committed
  e1a6541

  Copy full SHA for e1a6541

Commits on Nov 27, 2024

• hmm

  jewelofchaos9

  committed
  7dd7e98

  Copy full SHA for 7dd7e98

Commits on Nov 29, 2024

• smol refactor

  jewelofchaos9

  committed
  d58a19a

  Copy full SHA for d58a19a

Commits on Dec 2, 2024

• ples have a patient i have problems

  jewelofchaos9

  committed
  4f07105

  Copy full SHA for 4f07105

Commits on Dec 3, 2024

• verif changes

  jewelofchaos9

  committed
  e33a29f

  Copy full SHA for e33a29f

Commits on Dec 9, 2024

• smol shifts

  jewelofchaos9

  committed
  802b0cd

  Copy full SHA for 802b0cd

Commits on Dec 12, 2024

• deleted codegen + shl + shr

  jewelofchaos9

  committed
  d7dd95d

  Copy full SHA for d7dd95d

• bug in acir builder

  jewelofchaos9

  committed
  2cf19f0

  Copy full SHA for 2cf19f0

Commits on Dec 16, 2024

• recaftor

  jewelofchaos9

  committed
  10b361f

  Copy full SHA for 10b361f

Commits on Dec 27, 2024

• docs + small refactor

  jewelofchaos9

  committed
  3cc7f44

  Copy full SHA for 3cc7f44

• readme mistake, artifacts dirs

  jewelofchaos9

  committed
  884b2aa

  Copy full SHA for 884b2aa

• restore cmake list

  jewelofchaos9

  committed
  ef9c730

  Copy full SHA for ef9c730

• bug in verify_mod

  jewelofchaos9

  committed
  208f9ce

  Copy full SHA for 208f9ce

• still bug in verify_mod

  jewelofchaos9

  committed
  97bfad1

  Copy full SHA for 97bfad1

Commits on Jan 6, 2025

• deleted gitignores + table + shl64 bug + directory flag for binary

  jewelofchaos9

  committed
  1c90845

  Copy full SHA for 1c90845

• readme mistake, deleted all noir stuff

  jewelofchaos9

  committed
  442e387

  Copy full SHA for 442e387

• broken table

  jewelofchaos9

  committed
  29ed080

  Copy full SHA for 29ed080

• last readme fix

  jewelofchaos9

  committed
  f32a27e

  Copy full SHA for f32a27e

• Merge branch 'master' into sa/acir_formal_proofs

  jewelofchaos9

  committed
  d9d77f5

  Copy full SHA for d9d77f5

Commits on Jan 7, 2025

• Merge branch 'master' of https://github.com/AztecProtocol/aztec-packages into sa/acir_formal_proofs

  jewelofchaos9

  committed
  d800214

  Copy full SHA for d800214

• ACIR_FORMAL_PROOFS flag for cmake

  jewelofchaos9

  committed
  9dd4709

  Copy full SHA for 9dd4709