cryptograntwire

1/ Arbitrum: LimeChain benchmarks Stylus (Rust) vs EVM (Solidity) by reimplementing StarkEx on-chain STARK verifier — finds correctness parity and enables gas-cost benchmarking; budget split published, no community discussion

4/ Milestone 5 10%; there have been no community discussions and no next actions have been determined.

3/ Stylus can faithfully port complex, computation-heavy zk-STARK verifiers with correctness parity while enabling practical gas-cost benchmarking and tooling improvements.  \nBudget allocation: Milestone 1 17%, Milestone 2 20%, Milestone 3 18%, Milestone 4 35%,

2/ LimeChain benchmarked Stylus (Rust) vs EVM (Solidity) by reimplementing StarkEx’s on-chain STARK verification pipeline (GpsStatementVerifier.verifyProofAndRegister), showing