tempo icon indicating copy to clipboard operation
tempo copied to clipboard

chore: add fuzz tests & solidity impl for AccountKeychain precompile

Open legion2002 opened this issue 2 months ago • 2 comments

The old tests didn't run on the rust implementation properly. This PR adds a correct implementation of the AccountKeychain precompile, and adds tests for it.

We need to bump the solidity version to 0.8.24 to be able to use the transient modifier to TSTORE/TLOAD the tx key automatically. @zerosnacks if this is problematic on your end, can also bump this down to 0.8.13, and manage the transaction key slot manually.

legion2002 avatar Dec 08 '25 17:12 legion2002

The latest updates on your projects. Learn more about Vercel for GitHub.

1 Skipped Deployment
Project Deployment Preview Comments Updated (UTC)
tempo-docs Ignored Ignored Preview Dec 10, 2025 11:43am

vercel[bot] avatar Dec 08 '25 17:12 vercel[bot]

@legion2002 I don't believe this is an issue for tempo-std, I think it is reasonable to bump the minimum version to 0.8.24. If the Rust implementation & written spec uses a tload / tstore the reference implementation should of course too.

I'll also experiment with mixed support, similar to how we do for forge-std where some interfaces are compatible with older versions and some are not.

zerosnacks avatar Dec 09 '25 16:12 zerosnacks