Marcin M

## What ❔ DO NOT SUBMIT - temp change, until the change to test harness gets merged.

feat(docs): Article about 4844 (blobs)

1

## What ❔ * Article explaining how we adopted our system to 4844 ## Why ❔ * To increase the knowledge within the team and beyond

DRAFT: multiVM to depend on the new geometry crate

1

## What ❔ Changing multiVM to depend on the newly crated geometry_config crate. ## Why ❔ This crate is a lot smaller than the evm_test_harness one, and multiVM requires just...

# What ❔ * Updated cargo.lock with the newest crypto changes for boojum. * regenerated verification keys ## Why ❔ We have to regenerate the setup keys and verification keys.

## What ❔ ## Why ❔ ## Checklist - [ ] PR title corresponds to the body of PR (we generate changelog entries from PRs). - [ ] Tests for...

## What ❔ * Adding first part of support for 4844 circuit in prover. * Added it to prover enums (like proof wrapper etc). * But it is not connected...

## What ❔ * Added recompute-if-missing option to key generator * Updated setup.sh to use this option. ## Why ❔ * This allows to quickly recompute the setup keys that...

## What ❔ * Refactored the code, to keep passing ProverServiceDataKey as a circuit identifier * Added support for 4844 setup key generation ## Why ❔ * 4844 circuit was...

## What ❔ * Removing data files that are no longer needed ## Why ❔ * verification_leaf_1 - is now called 'verification_scheduler' * verification_leaf_2 - is now called "verification_node' *...

## What ❔ * Added verification key and finalization hint file for 4844 circuit * Actually start saving finalization hint when generating verification keys * Fixed witness vector generator for...