Code

enclaves: light client check#69

Code

Merged

hu55a1n1 merged 29 commits intomaininformalsystems/cycles-quartz:mainfrom hu55a1n1/22-mtcs-enclave-light-client-checkinformalsystems/cycles-quartz:hu55a1n1/22-mtcs-enclave-light-client-checkCopy head branch name to clipboardJul 24, 2024

+179-90

Commits

Commits on Jul 1, 2024

• Extract light client verification code

  hu55a1n1

  committed
  1534dd5

• cargo fmt

  hu55a1n1

  committed
  81a6df9

• Implement light client check for mtcs.run

  hu55a1n1

  committed
  0c6181d

Commits on Jul 2, 2024

• Remove #![warn(missing_docs)] from enclaves

  hu55a1n1

  committed
  fadf927

• Rename value -> proof_value

  hu55a1n1

  committed
  92490bc

• Impl light client check for transfers enclave

  hu55a1n1

  committed
  754dcf1

• Clippy fix

  hu55a1n1

  committed
  f1c5495

• Update Cargo.lock

  hu55a1n1

  committed
  5ea2ff1

• Fix workspace

  hu55a1n1

  committed
  b2125ea

• Clippy fix

  hu55a1n1

  committed
  b0125ea

• Pin rust to v1.78

  hu55a1n1

  committed
  de58478

• Rename .cargo/config to config.toml

  hu55a1n1

  committed
  4fa1bc9

• Update CI to pick pinned toolchain

  hu55a1n1

  committed
  e75475c

• Add rust-toolchain file

  hu55a1n1

  committed
  84df58c

• Use old-style rust-toolchain

  hu55a1n1

  committed
  52392c8

• Fix Cargo.toml exclusion for transfers contract

  hu55a1n1

  committed
  210d4f0

Commits on Jul 8, 2024

• Merge branch 'main' into hu55a1n1/22-mtcs-enclave-light-client-check

  hu55a1n1

  authored
  499d49b

Commits on Jul 15, 2024

• Merge remote-tracking branch 'origin/main' into hu55a1n1/22-mtcs-enclave-light-client-check

  hu55a1n1

  committed
  ebd04bb

• Revert CI modifications

  hu55a1n1

  committed
  62dd959

• Update CosmWasm dev-deps

  hu55a1n1

  committed
  bfb139e

Commits on Jul 23, 2024

• Merge remote-tracking branch 'origin/main' into hu55a1n1/22-mtcs-enclave-light-client-check

  hu55a1n1

  committed
  77323b8

• Update listen.sh to include query

  hu55a1n1

  committed
  f40d7ae

• Fix bug in request msg creation

  hu55a1n1

  committed
  2fb0197

• Add delay to wait for block

  hu55a1n1

  committed
  5861640

• Undo remove newline from workflow .ymls

  hu55a1n1

  committed
  b8fbb11

• Replace sleep with wasmd status based delay

  hu55a1n1

  committed
  6c42c64

Commits on Jul 24, 2024

• Fix listen.sh bug for wasmd commmand

  

  dave

  committed
  268f675

• Remove redundant TODOs

  hu55a1n1

  committed
  b3df408

• Merge branch 'hu55a1n1/22-mtcs-enclave-light-client-check' of github.com:informalsystems/cycles-quartz into hu55a1n1/22-mtcs-enclave-light-client-check

  hu55a1n1

  committed
  5963400