Add native support of EIP-712 struct typehash (continuation of prior PR)#16203

Open

meditationduck wants to merge 44 commits intoargotorg:developfrom

meditationduck:feature/eip712-typehash-new

Commits on Dec 7, 2025

Add native support of EIP-712 struct typehash

k06a
authored and
meditationduck
committed
Handle nested structs encoding for EIP-712

k06a
authored and
meditationduck
committed
Improve typehash() computation for nested structs

k06a
authored and
meditationduck
committed
Add missing includes

k06a
authored and
meditationduck
committed
Some fixes

k06a
authored and
meditationduck
committed
Fix wrong failure

k06a
authored and
meditationduck
committed
Extend type(X) validation to support structs

k06a
authored and
meditationduck
committed
Fix false positive test for type(S).typehash and update error messages

k06a
authored and
meditationduck
committed
Add tests for type(S).typehash

k06a
authored and
meditationduck
committed
Fix test expected error

k06a
authored and
meditationduck
committed
Simplify type(S).typehash tests

k06a
authored and
meditationduck
committed
Rename methods encode* to eip712Encode*

k06a
authored and
meditationduck
committed
Update libsolidity/ast/Types.cpp

authored and
meditationduck
committed
Update libsolidity/codegen/ExpressionCompiler.cpp

authored and
meditationduck
committed
Update libsolidity/codegen/ir/IRGeneratorForStatements.cpp

authored and
meditationduck
committed
Update libsolidity/codegen/ir/IRGeneratorForStatements.cpp

authored and
meditationduck
committed
Fix compilation error

k06a
authored and
meditationduck
committed
Disallow to use typehash() for structs with nested mappings

k06a
authored and
meditationduck
committed
Fix assert

k06a
authored and
meditationduck
committed
Update libsolidity/codegen/ir/IRGeneratorForStatements.cpp

authored and
meditationduck
committed
Update libsolidity/codegen/ir/IRGeneratorForStatements.cpp

authored and
meditationduck
committed
fixed EIP-712 encoding type.

Saw-mon-and-Natalie
authored and
meditationduck
committed
fix coding style

Saw-mon-and-Natalie
authored and
meditationduck
committed
fixed typo

Saw-mon-and-Natalie
authored and
meditationduck
committed
Fix tests for compile-time checks

k06a
authored and
meditationduck
committed
added syntaxt tests and updated the TypeChecker logic.

Saw-mon-and-Natalie
authored and
meditationduck
committed
fixed codestyle.

Saw-mon-and-Natalie
authored and
meditationduck
committed
fixed syntax test error messages.

Saw-mon-and-Natalie
authored and
meditationduck
committed
more semantic and syntax tests

Saw-mon-and-Natalie
authored and
meditationduck
committed
moved and created new semantic tests.

Saw-mon-and-Natalie
authored and
meditationduck
committed
Fix spaces to tabs

k06a
authored and
meditationduck
committed
Add nested structs semantic tests for type(S).typehash

k06a
authored and
meditationduck
committed
Remove "compileToEwasm" option

k06a
authored and
meditationduck
committed
Some fixes for PR comments

k06a
authored and
meditationduck
committed
Allow user defined value types to be part of typehash

k06a
authored and
meditationduck
committed
Refactor for loop to avoid index variable

k06a
authored and
meditationduck
committed
Change return type to std::string
meditationduck
committed
Add semantic tests for struct typehash with import alias
meditationduck
committed
Update Changelog to include support for EIP-712 struct typehash
meditationduck
committed
Add semantic test for recursive as reference in struct typehash
meditationduck
committed
Add EIP-712 typehash support for recursive structs per EIP-712 specification
meditationduck
committed
fix tests for current implementation and fix logic
meditationduck
committed
Fix logic and add more tests
meditationduck
committed
Add EIP-712 support for Enum type in structs by using uint8 and include related tests
meditationduck
committed