I mean, do you ever run any closed-source software? | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

Ar-Curunir on May 5, 2024 | parent | context | favorite | on: Verified Rust for low-level systems code

I mean, do you ever run any closed-source software?

dumbo-octopus on May 5, 2024 [–]

Can you provide an example of a ZKP of memory safety of a compiled output that would be less computationally expensive than static analysis of the binary?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact