|
|
|
|
|
|
by odyssey7
703 days ago
|
|
|
"The verifier is rigorous" But the appeal-to-authority evidence that the article presents is not. "-- the Linux implementation has over 20,000 lines of code -- with contributions from industry (e.g., Meta, Isovalent, Google) and academia (e.g., Rutgers University, University of Washington). The safety this provides is a key benefit of eBPF, along with heightened security and lower resource usage." |
|
|