argumentcomputer/zk-light-clients

Issues

• Operational bridge documentation

  #293 opened 2 months ago by wwared
  1

• ci: Move to merge queue

  #231 opened 3 months ago by huitseeker
  1

• Implement a Haskell module for Proof Verification on Kadena

  #102 opened 3 months ago by tchataigner
  1

• Fishy serialization in `bytes()`

  #213 opened 3 months ago by huitseeker
  2

• Update Kadena docs to new precompiles

  #278 opened 3 months ago by huitseeker
  0

• Address Francois' comments from PR#247 (Solidity contract)

  #251 opened 3 months ago by storojs72
  0

• Fix CI

  #166 opened 3 months ago by huitseeker
  0

• Wrapping verification

  #175 opened 4 months ago by huitseeker
  1

• ci: `cycle-regression-checker` for Kadena

  #221 opened 4 months ago by samuelburnham
  0

• Move to a more flexible hardware definition for Helm

  #234 opened 4 months ago by tchataigner
  0

• Automated publication of docker images on release

  #220 opened 4 months ago by tchataigner
  0

• Automatically updating the repl file with the fixtures

  #217 opened 4 months ago by huitseeker
  1

• ci: Fixture update workflow is broken

  #176 opened 4 months ago by github-actions
  0

• CI: Update cycle-count-regression for latest Sphinx

  #164 opened 4 months ago by wwared
  1

• Fetch Kadena Block Headers

  #151 opened 4 months ago by tchataigner
  0

• feat: use Stwo Blake2 arithmetization for Blake2 circuit

  #209 opened 4 months ago by huitseeker
  0

• Remove magic value for nightly version

  #162 opened 5 months ago by huitseeker
  0

• ci: Test STARK proof generation

  #180 opened 5 months ago by samuelburnham
  0

• Broken Ethereum committee change proof

  #181 opened 5 months ago by tchataigner
  0

• SIGSEGV in ethereum `generate_test_assets` in debug mode

  #184 opened 5 months ago by wwared
  0

• Adapt CI to work over the Kadena workspace

  #150 opened 5 months ago by tchataigner
  0

• Setup the Kadena Light Client workspace

  #148 opened 5 months ago by tchataigner
  0

• Set Apache license for Kadena

  #149 opened 5 months ago by tchataigner
  0

• CI: use bmwill's rust cache

  #167 opened 5 months ago by huitseeker
  2

• Integrate fixture-generator workspace crate in CI tests

  #152 opened 5 months ago by wwared
  0

• ci: Open issue when the fixture update job fails

  #154 opened 5 months ago by samuelburnham
  0

• Pre-release checks

  #72 opened 5 months ago by tchataigner
  1

• ci: Update Move fixtures in nightly job

  #93 opened 5 months ago by samuelburnham
  0

• Simplifying the serde code for Ethereum `Compact*` data types

  #128 opened 5 months ago by tchataigner
  0

• Client and Proof Server binaries finalization

  #71 opened 5 months ago by tchataigner
  0

• Move verifier

  #80 opened 5 months ago by storojs72
  5

• Implement post processing steps for Move contracts

  #104 opened 5 months ago by tchataigner
  0

• State inclusion program

  #70 opened 6 months ago by tchataigner
  0

• Run nightly benchmarks for Aptos & Ethereum

  #117 opened 6 months ago by tchataigner
  0

• Implement `verify_state_proof`

  #68 opened 6 months ago by tchataigner
  0

• Fetch Block data

  #69 opened 6 months ago by tchataigner
  0

• Update Aptos LC solidity contracts

  #103 opened 6 months ago by tchataigner
  0

• Fetch state proof

  #67 opened 6 months ago by tchataigner
  0

• ci: Update pinned `rust-toolchain.toml` version every month

  #106 opened 6 months ago by samuelburnham
  0

• Integrate the next sync committee proof in the Proof Server

  #66 opened 6 months ago by tchataigner
  0

• Improve `LightClientStore` update after sync committee change proof generation

  #99 opened 6 months ago by tchataigner
  0

• Next sync committee program

  #65 opened 6 months ago by tchataigner
  0

• Implement `validate_light_client_update` for committee change

  #64 opened 6 months ago by tchataigner
  0

• Merkle proof verification for Consensus data

  #63 opened 6 months ago by tchataigner
  0

• ci: Introduce integration testing for Move verifier

  #88 opened 6 months ago by storojs72
  0

• Update license change work to take into account new Cargo manifest

  #84 opened 6 months ago by huitseeker
  0

• Fetch light client updates

  #62 opened 6 months ago by tchataigner
  0

• Implement `LightClientUpdate`

  #61 opened 6 months ago by tchataigner
  0

• Cryptographic primitives data structures

  #60 opened 6 months ago by tchataigner
  0

• Bootstrap client state

  #59 opened 6 months ago by tchataigner
  0