Victor Snyder-Graf

Support for KZG precompile in Steel

1

Currently, the KZG precompile is not enabled in Steel. If a contract executes this precompile during a Steel call, the guest will return an error. We want to enable the...

Mismatch in chain configuration between guest and host is difficult to debug

1

If the guest and host do not agree on e.g. chain ID, the error that results can be difficult to debug. We had a partner report that it took them...

[Feature] Integrate Steel with a block history service

1

One of the common challenges with using Steel today is linking your proof to a block that is part of the target chain (e.g. by using the `blockhash` builtin). With...

Create a test to verify correct deployment of the verifier contracts

1

As a check against potentially costly deployment mistakes, we should use the Forge scripting / testing system to automatically check the consistency of the `deployment.toml` file and the contracts deployed...

Add .watchmanconfig to fix editor integration with neovim and CoC

1

I use neovim and CoC for my editor, which uses watchman on MacOS. Watchman has started to die on me when it tries to process the repo. I found that...