Ben> Also, curious to know - what about out-of-band verifiers? So, for
Ben> example, I verify something on my PC, sign it as verified, then run it
Ben> on a Palm, with no verification?
My understanding was that there is a new kind of "split verification", where a pre-verifier (or the compiler itself) emits type tables as attributes in the bytecode.
I believe it's known as "Proof Carrying Code" in the literature. The compiler provides a "proof" that the code is "good", and then the JVM merely has to verify the proof, rather than constructing it from scratch.
