6 ms·
It’s worth noting the verifier doesn’t verify C code, it verifies the compiled ebpf bytecode. You can generate that bytecode from rust (the solana cryptocurrenc
by lcvw 3y ago
It’s worth noting the verifier doesn’t verify C code, it verifies the compiled ebpf bytecode. You can generate that bytecode from rust (the solana cryptocurrency does this) but you still need to verify the actual instructions since someone can just write whatever they want by hand.
- insanitybit 3y agoI'm suggesting that the ebpf code still be verified and that the only rust code used is to implement the verifier and the virtual machine itself.