Everett Hildenbrandt
Everett Hildenbrandt
The Ethereum network recently went through a hardfork which allows users to call the Blake2b compression function `F` directly in their smart contracts (to offer better interoperability with ZCash network)....
### Component Forge ### Have you ensured that all of these are up to date? - [X] Foundry - [X] Foundryup ### What version of Foundry are you on? forge...
https://github.com/ewasm/design/blob/master/eth_interface.md We should be trying to follow the format of the WASM spec here, instead of having our own style/format. This will force us to disambiguate a lot of the...
@axic, @chfast, and @poemm, I've tried to specify the terminology we've discussed. Need feedback on the EVMC bullet point, and on the overall naming of things.
As @pepyakin pointed out, we will need a `` flag for capturing which EEI methods the current execution is allowed to access. We could also think of implementing this as...
When a user runs `forge init`, they get a bunch of files from this repository. Presumably, they may end up leaving a bunch of code from this repo in their...
This avoids a lot of the logic in the Jenkinsfile about building a K image with dependencies installed, instead just uses the published K dockerhub images.
https://github.com/kframework/evm-semantics/issues/95 As demonstrated there, `krun --prove` generates an enormous amount of (highly redundant) output sometimes when Z3 translations are not present. Is there a way we can be smarter about...
This replaces the original `develop` PR, but without all the Plutus language stuff. The commit history needs to be cleaned up and squashed, and we need to make sure new...