Code

AMM proofs.#9

Code

Draft

andreistefanescu wants to merge 2 commits intokunalabs-io:masterkunalabs-io/sui-smart-contracts:masterfrom asymptotic-code:proverasymptotic-code/sui-smart-contracts:proverCopy head branch name to clipboard

+475-65

Commits

Commits on Nov 19, 2024

• AMM proofs.

  andreistefanescu

  committed
  5e7271b

  Copy full SHA for 5e7271b

Commits on Nov 20, 2024

• remove inline prover variables.

  andreistefanescu

  committed
  c77f6c4

  Copy full SHA for c77f6c4