Commits

Branch selector

 master

User selector

bMacSwigg

Datepicker

All time

Commit History

Commits on Jan 20, 2024

• Cache intermediate values for Edwards addition (mit-plv#1808)

  bMacSwigg

  authored
  16b3666

  Copy full SHA for 16b3666

Commits on Oct 27, 2023

• Newline at EOF

  bMacSwigg

  committed
  fe162e0

  Copy full SHA for fe162e0

• Pipe split T through Bedrock code

  bMacSwigg

  committed
  f157471

  Copy full SHA for f157471

• Extend split T to precomputed addition

  bMacSwigg

  committed
  8c81ddf

  Copy full SHA for 8c81ddf

• Split T into parts to save a mul

  bMacSwigg

  committed
  9e666e0

  Copy full SHA for 9e666e0

• Fix calculation of T in mixed addition

  Show description for b80db9d
  bMacSwigg

  committed
  b80db9d

  Copy full SHA for b80db9d

• Extend variant coords to Bedrock E2E

  bMacSwigg

  committed
  8bc5477

  Copy full SHA for 8bc5477

• switch to halved variant of precomputed coordinates

  bMacSwigg

  committed
  0a1e8fe

  Copy full SHA for 0a1e8fe

Commits on Sep 12, 2023

• Update TODO comment

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  d06a05b

  Copy full SHA for d06a05b

• Switch to carry_sub and complete proof

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  f6a230f

  Copy full SHA for f6a230f

• Add TODO in comment

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  b46f316

  Copy full SHA for b46f316

• Integrate point doubling into Edwards file

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  7b44206

  Copy full SHA for 7b44206

• Rename AddPrecomputed to be more general

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  cd85ad6

  Copy full SHA for cd85ad6

• Initial double spec and proof

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  863f2f8

  Copy full SHA for 863f2f8

Commits on Aug 26, 2023

• Pipe through carry_sub function (mit-plv#1641)

  Show description for f0d8e9a
  bMacSwigg

  authored
  f0d8e9a

  Copy full SHA for f0d8e9a

Commits on Aug 19, 2023

• Use carry_add in AddPrecomputed

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  42e5455

  Copy full SHA for 42e5455

Commits on Aug 18, 2023

• Pipe through carry_add function (mit-plv#1635)

  Show description for b9bf8fe
  bMacSwigg

  authored
  b9bf8fe

  Copy full SHA for b9bf8fe

Commits on Jul 21, 2023

• Fix Qed! Final cleanup

  bMacSwigg

  committed
  383842d

  Copy full SHA for 383842d

• Remove unnecessary frep_ok steps

  bMacSwigg

  committed
  7f23bce

  Copy full SHA for 7f23bce

• use frep_ok from Field25519

  bMacSwigg

  committed
  5007e3d

  Copy full SHA for 5007e3d

• missing newline

  bMacSwigg

  committed
  b7b0a6b

  Copy full SHA for b7b0a6b

• cleaning up

  bMacSwigg

  committed
  5d18f5d

  Copy full SHA for 5d18f5d

Commits on Jul 14, 2023

• Small tidying

  bMacSwigg

  committed
  f3e02da

  Copy full SHA for f3e02da

• Fix admits and clean up

  bMacSwigg

  committed
  a0448b4

  Copy full SHA for a0448b4

• 2 does, in fact, fit the bounds

  bMacSwigg

  committed
  cf42f10

  Copy full SHA for cf42f10

Commits on Jul 7, 2023

• Clean up add_precomputed_partial

  bMacSwigg

  committed
  36db466

  Copy full SHA for 36db466

• Partial proof for full function

  bMacSwigg

  committed
  2ec9895

  Copy full SHA for 2ec9895

• some outputs

  bMacSwigg

  committed
  0ff5320

  Copy full SHA for 0ff5320

• automate stack solving!

  bMacSwigg

  committed
  b1cfb95

  Copy full SHA for b1cfb95

• more steps in add_precomputed_partial

  bMacSwigg

  committed
  ede27d7

  Copy full SHA for ede27d7

Commits on Jun 30, 2023

• Fix admit

  bMacSwigg

  committed
  5a84060

  Copy full SHA for 5a84060

• Proof for first four lines of precomputed

  bMacSwigg

  committed
  5b278d3

  Copy full SHA for 5b278d3

Commits on Jun 23, 2023

• Definition and spec for point add fn

  bMacSwigg

  committed
  789a135

  Copy full SHA for 789a135

Commits on Jun 9, 2023

• cleanup

  bMacSwigg

  committed
  9c6fddc

  Copy full SHA for 9c6fddc

• simple square_and_add function

  bMacSwigg

  committed
  68f7408

  Copy full SHA for 68f7408