Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 5, 2024

• Adapt to coq/coq#19530 (mit-plv#1992)

  proux01

  authored
  8eccaf2

  Copy full SHA for 8eccaf2

Commits on Oct 29, 2024

• Move secp256k1 out of End2End, remove compiler dep

  Show description for b240a3b
  andres-erbsen

  committed
  b240a3b

  Copy full SHA for b240a3b

• Verified linking lemma for secp256k1 64 bits scalar multiplication

  

  atrieu

  authored and

  andres-erbsen

  committed
  b2d3126

  Copy full SHA for b2d3126

• Verified secp256k1_laddermul

  

  atrieu

  authored and

  andres-erbsen

  committed
  a02dfca

  Copy full SHA for a02dfca

• update unverified secp256k1 ladder

  

  atrieu

  authored and

  andres-erbsen

  committed
  4b1abed

  Copy full SHA for 4b1abed

• Change spec_of_secp256k1_inv to make F.inv appear

  

  atrieu

  authored and

  andres-erbsen

  committed
  2584734

  Copy full SHA for 2584734

• secp256k1_inv using addchain

  

  atrieu

  authored and

  andres-erbsen

  committed
  7d73379

  Copy full SHA for 7d73379

• secp256k1 scalarmult wip

  

  atrieu

  authored and

  andres-erbsen

  committed
  37a57c6

  Copy full SHA for 37a57c6

• Bedrock2 WordByWordMontgomery felem_copy_func_correct

  

  atrieu

  authored and

  andres-erbsen

  committed
  cdb8f6d

  Copy full SHA for cdb8f6d

• Bedrock2 secp256k1 point operations

  

  atrieu

  authored and

  andres-erbsen

  committed
  9edfbda

  Copy full SHA for 9edfbda

• WIP

  

  atrieu

  authored and

  andres-erbsen

  committed
  4ec4292

  Copy full SHA for 4ec4292

Commits on Sep 19, 2024

• Adapt to coq/coq#19530 (mit-plv#1957)

  proux01

  authored
  7f0f40a

  Copy full SHA for 7f0f40a

Commits on Apr 18, 2024

• Adapt w.r.t. coq/coq#18909. (mit-plv#1881)

  ppedrot

  authored
  7125be2

  Copy full SHA for 7125be2

Commits on Apr 12, 2024

• fix (mit-plv#1860)

  Show description for 3d91646
  atrieu

  authored
  3d91646

  Copy full SHA for 3d91646

Commits on Apr 6, 2024

• done

  

  jadephilipoom

  authored and

  samuelgruetter

  committed
  3667669

  Copy full SHA for 3667669

• checkpoint

  

  jadephilipoom

  authored and

  samuelgruetter

  committed
  f4981d4

  Copy full SHA for f4981d4

• more paperification of top-level spec details

  andres-erbsen

  committed
  8c9b346

  Copy full SHA for 8c9b346

Commits on Apr 5, 2024

• GarageDoorTop: assert some types

  andres-erbsen

  committed
  d31b3a3

  Copy full SHA for d31b3a3

• l for log, not t for trace

  andres-erbsen

  committed
  2173acf

  Copy full SHA for 2173acf

• name MMIO log items

  andres-erbsen

  committed
  53de382

  Copy full SHA for 53de382

• io spec: push existentials into protocol spec

  andres-erbsen

  committed
  2ece1e7

  Copy full SHA for 2ece1e7

• paperify spec

  andres-erbsen

  committed
  9ead591

  Copy full SHA for 9ead591

Commits on Apr 2, 2024

• bump bedrock2, use "always" in GarageDoor spec (mit-plv#1846)

  andres-erbsen

  authored
  1452648

  Copy full SHA for 1452648

• implement and prove Curve25519 scalar clamping (mit-plv#1845)

  andres-erbsen

  authored
  9b5f833

  Copy full SHA for 9b5f833

Commits on Apr 1, 2024

• merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (mit-plv#1843)

  andres-erbsen

  authored
  4cd8fc2

  Copy full SHA for 4cd8fc2

Commits on Mar 30, 2024

• merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (mit-plv#1841)

  andres-erbsen

  authored
  9378552

  Copy full SHA for 9378552

Commits on Feb 19, 2024

• Adapt to coq/coq#18590 (mit-plv#1821)

  proux01

  authored
  8c2ee91

  Copy full SHA for 8c2ee91

Commits on Dec 2, 2023

• adapt to coq/coq#18164 (mit-plv#1760)

  Show description for 4f20f8d
  Villetaneuse

  authored
  4f20f8d

  Copy full SHA for 4f20f8d

Commits on Nov 21, 2023

• bump rupicola (mit-plv#1743)

  Show description for 22c0ab5
  samuelgruetter

  authored
  22c0ab5

  Copy full SHA for 22c0ab5

Commits on Nov 19, 2023

• Add js_of_ocaml build and deployment (mit-plv#1737)

  Show description for 4915831
  JasonGross

  authored
  4915831

  Copy full SHA for 4915831

Commits on Nov 15, 2023

• Provide standalone binaries (mit-plv#1730)

  Show description for 5450a10
  JasonGross

  authored
  5450a10

  Copy full SHA for 5450a10

Commits on Nov 12, 2023

• remove RupicolaCrypto.Low

  andres-erbsen

  committed
  9d982d2

  Copy full SHA for 9d982d2

Commits on Oct 27, 2023

• Pipe split T through Bedrock code

  bMacSwigg

  committed
  f157471

  Copy full SHA for f157471

• 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

Pagination

Previous

Next