Most information is not a math equation. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		notfed on March 6, 2024 \| parent \| context \| favorite \| on: YaCy, a distributed Web Search Engine, based on a ... Most information is not a math equation.

mattdesl on March 7, 2024 [–]

As it turns out, a lot can be.

The concept of a ZK VM is that it is able to prove arbitrary code. Risc0 and the more recent SP1[1] both compile arbitrary Rust programs into ZK circuits for generating and verifying execution proofs.

[1] https://github.com/succinctlabs/sp1

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