1. 02 Feb, 2024 3 commits
    • clabby's avatar
      feat(op-program): 4844 blobs fetcher in host (#9105) · 5f47148c
      clabby authored
      * Add blob preimage type
      
      * rebase
      
      * Start 4844 host changes
      
      * implement hint route
      
      * fix prefetcher test
      
      * Hook up prefetcher / flags / mocks
      
      * Test
      
      * tidy
      
      * @protolambda review
      
      * fix fmt
      
      * flags
      
      * @refcell review
      
      * rebase
      5f47148c
    • clabby's avatar
      1e580e50
    • Matt Solomon's avatar
      Kontrol documentation and cleanup (#9254) · d5baafd7
      Matt Solomon authored
      * docs: change directory structure format
      
      * build: add kontrol installation commands
      
      * chore: simpler kprove profile
      
      * chore: update help text in run-kontrol.sh
      
      * docs: refactor and clarify README content
      
      * chore: fix typo in test name
      
      * ci: check kontrol state diff in snapshot checks
      
      * feat: cleanup even when forge script fails
      
      * perf: improve assumptions and better document them
      
      * doc: more docs
      
      * doc: update description of make-summary-deployment.sh
      Co-authored-by: default avatarJuan C. <38925412+JuanCoRo@users.noreply.github.com>
      
      * perf: revert back to the 320 byte assumption for now
      
      * doc: clarify optionality of build step
      
      * fix: add output directory to shellcheck ignored dirs
      
      * fix/refactor: snapshots job needs kontrol via docker in CI
      
      * fix: shellcheck lints
      
      * docs: fix links and add brief summary of adding new proofs
      
      * fix: remove shift, which cause early exit
      
      we only have 1 input param so don't need shift: when shift fails
      it would cause the script to exit early due to set -e
      
      * fix: run in proper environment
      
      * fix: start docker when needed
      
      * chore: cleanup docker
      
      * fix: another fix from shell script refactor
      
      * ci: add docker to bedrock tests
      
      * fix(ci): move remote docker from contracts-bedrock-tests to contracts-bedrock-checks
      
      * ci: maybe docker setup needs to come earlier
      
      * fix: various changes so make-summary-deployment works in docker
      
      - avoid copying node_modules to container, which caused a symlink error
      - fix which script commands are run in docker
      - restore order of setup_remote_docker step
      
      * fix: bind mount instead of copy into docker
      
      * style: remove unneded braces
      
      * fix: -v to create dir on docker, restore file copying
      
      * fix: copy new files
      
      * fix permissions error
      
      ---------
      Co-authored-by: default avatarJuan C. <38925412+JuanCoRo@users.noreply.github.com>
      d5baafd7
  2. 01 Feb, 2024 14 commits
  3. 31 Jan, 2024 12 commits
  4. 30 Jan, 2024 11 commits