Code

Provable types cleanup#1999

Code

Draft

mitschabaude wants to merge 16 commits intomaino1-labs/o1js:mainfrom feature/simplify-provable-typeso1-labs/o1js:feature/simplify-provable-typesCopy head branch name to clipboard

+192-221

Commits

Commits on Dec 20, 2024

• Fixed correctness issue in ZkProgram typing

  rpanic

  committed
  4de57a7

  Copy full SHA for 4de57a7

• Refactored inline types to also use defined inferring types

  rpanic

  committed
  464f170

  Copy full SHA for 464f170

• Refactored inline types pt. 2

  rpanic

  committed
  5f16af4

  Copy full SHA for 5f16af4

Commits on Jan 21, 2025

• Merge branch 'main' into pr/1962

  Trivo25

  committed
  4e50fc1

  Copy full SHA for 4e50fc1

Commits on Jan 31, 2025

• Merge branch 'main' into rpanic/fix/zkprogram-typing

  mitschabaude

  committed
  ec97e0c

  Copy full SHA for ec97e0c

• don't ask me why this helps but seems worth it

  mitschabaude

  committed
  c5af950

  Copy full SHA for c5af950

• remove custom privateinput/ infer types from zkprogram

  mitschabaude

  committed
  3d57697

  Copy full SHA for 3d57697

• replace as any with no or less invasive type coercions, + remove unnecessary type defs

  mitschabaude

  committed
  6249e5d

  Copy full SHA for 6249e5d

• remove now unnecessary inconsistency of using void for output and undefined for input

  mitschabaude

  committed
  f3cb488

  Copy full SHA for f3cb488

• remove pointless InferProvableType (already handled by InferProvable)

  mitschabaude

  committed
  f471c22

  Copy full SHA for f471c22

• remove unnecessary re-export from struct, and unnecessary ToProvable

  mitschabaude

  committed
  3887b2f

  Copy full SHA for 3887b2f

• remove more unnecessary ToProvable

  mitschabaude

  committed
  2a6036e

  Copy full SHA for 2a6036e

• fix the type signature of witnessAsync

  mitschabaude

  committed
  c5e8833

  Copy full SHA for c5e8833

• minor

  mitschabaude

  committed
  ba896dc

  Copy full SHA for ba896dc

• remove duplicate definition of ProvableExtended

  mitschabaude

  committed
  059b593

  Copy full SHA for 059b593

• fix in-editor type error (which often foreshadows a type error in different ts version)

  mitschabaude

  committed
  5fdb7e9

  Copy full SHA for 5fdb7e9