conner
@symmetry
Working on top of the Minimal Keystore Rollup spec, I've designed a system to support writing Account Circuits in Solidity. By keeping logic in Solidity, we remove the need to learn how to write zk circuits, making it easier to build on the Keystore Rollup. https://hackmd.io/@ilikesymmetry/solidity-account-circuits
1 reply
1 recast
3 reactions
conner
@symmetry
This system also includes a mechanism to apply this validation logic to both user operations and Keystore updates, which can currently get out of sync. This reduces a complexity at risk of creating unexpected auth behavior where one signature can pass one path but not the other.
0 reply
0 recast
0 reaction