Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
vons's comments
login
vons
on March 28, 2025
|
parent
|
context
[–]
| on:
Clean, a formal verification DSL for ZK circuits i...
So, EOF is basically an object format for EVM (Ethereum Virtual Machine) bytecode. You can learn more here:
https://evmobjectformat.org/
. Clean is basically a DSL for writing zero-knowledge-proof circuits, so it is unrelated to the EVM.
ted_dunning
on March 29, 2025
|
parent
[–]
Thanks!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: