Code

wip: nested proof verification#494

Code

Merged

ctian1 merged 19 commits intomainsuccinctlabs/sp1:mainfrom chris/deferred-verifysuccinctlabs/sp1:chris/deferred-verifyCopy head branch name to clipboardApr 16, 2024

+10,798-1,310

Commits

Commits on Apr 9, 2024

• wip: deferred verification

  ctian1

  committed
  8410aed

  Copy full SHA for 8410aed

• compiles

  ctian1

  committed
  3890ca3

  Copy full SHA for 3890ca3

Commits on Apr 12, 2024

• Merge remote-tracking branch 'origin/main' into chris/deferred-verify

  ctian1

  committed
  f6b378a

  Copy full SHA for f6b378a

Commits on Apr 13, 2024

• syscall + prover unit test

  ctian1

  committed
  44f6325

  Copy full SHA for 44f6325

• boom

  ctian1

  committed
  69473d3

  Copy full SHA for 69473d3

Commits on Apr 15, 2024

• fix

  ctian1

  committed
  6a93a1f

  Copy full SHA for 6a93a1f

• Merge remote-tracking branch 'origin/main' into chris/deferred-verify

  ctian1

  committed
  4c0c867

  Copy full SHA for 4c0c867

• fixes

  ctian1

  committed
  abc4aaf

  Copy full SHA for abc4aaf

• wip

  ctian1

  committed
  31ea05b

  Copy full SHA for 31ea05b

• Merge remote-tracking branch 'origin/main' into chris/deferred-verify

  ctian1

  committed
  717eca6

  Copy full SHA for 717eca6

• fix

  ctian1

  committed
  c09be9e

  Copy full SHA for c09be9e

• fix

  ctian1

  committed
  28208df

  Copy full SHA for 28208df

Commits on Apr 16, 2024

• Merge remote-tracking branch 'origin/main' into chris/deferred-verify

  ctian1

  committed
  f2ca910

  Copy full SHA for f2ca910

• cleanup

  ctian1

  committed
  3103222

  Copy full SHA for 3103222

• fix

  ctian1

  committed
  3be140e

  Copy full SHA for 3be140e

• clppy

  ctian1

  committed
  460fd04

  Copy full SHA for 460fd04

• fixes

  ctian1

  committed
  391ac69

  Copy full SHA for 391ac69

• fix

  ctian1

  committed
  c6487cb

  Copy full SHA for c6487cb

• cleanup

  ctian1

  committed
  e7ce1fb

  Copy full SHA for e7ce1fb