Code

crypto_algebra.move#6550

Code

Merged

zjma merged 27 commits intomainaptos-labs/aptos-core:mainfrom algebra.moveaptos-labs/aptos-core:algebra.moveCopy head branch name to clipboardApr 7, 2023

+7,584-797

Commits

Commits on Apr 1, 2023

• generic algebraic structures and operations in move, plus bls12381 implementation

  zjma

  committed
  eff86a9

• fix prover test failures

  zjma

  committed
  3b6aeff

Commits on Apr 3, 2023

• update

  zjma

  committed
  8240018

• update doc

  zjma

  committed
  c719236

• update msm gas cost

  zjma

  committed
  5d30346

• Merge remote-tracking branch 'origin/main' into algebra.move

  zjma

  committed
  0933093

• hash_to gas formula update

  zjma

  committed
  a3f0878

Commits on Apr 4, 2023

• type names and documentations

  zjma

  committed
  2e21783

• update groth16 example

  zjma

  committed
  aa783b2

• update gas formula for dst shortening

  zjma

  committed
  454f57f

• format name update

  zjma

  committed
  17e4d74

• update gas parameters

  zjma

  committed
  77946c9

• update gas scripts to not depend on MUL

  zjma

  committed
  7d067aa

• reuse move-stdlib sha2 gas parameters in aptos-stdlib (#7568)

  Show description for cdbe85c
  zjma

  authored
  cdbe85c

• update doc

  zjma

  committed
  f494bed

Commits on Apr 5, 2023

• shorten symbol names

  zjma

  committed
  de48ca8

• doc update

  zjma

  committed
  229b02a

• update gas script readme

  zjma

  committed
  db98190

• Merge remote-tracking branch 'origin/main' into algebra.move

  zjma

  committed
  9674c40

• rename module to crypt_algebra (#7586)

  zjma

  authored
  aae2c55

• Merge remote-tracking branch 'origin/algebra.move' into algebra.move

  zjma

  committed
  fd73274

• better module names

  zjma

  committed
  00b367b

• Merge remote-tracking branch 'origin/main' into algebra.move

  zjma

  committed
  27eac74

Commits on Apr 6, 2023

• Merge remote-tracking branch 'origin/main' into algebra.move

  zjma

  committed
  9ef2dc8

• aptos framework now has access to the full move stdlib gas params

  zjma

  committed
  66ade5b

• Merge remote-tracking branch 'origin/main' into algebra.move

  zjma

  committed
  4c2a516

Commits on Apr 7, 2023

• Merge remote-tracking branch 'origin/main' into algebra.move

  zjma

  committed
  1f66fdb