search

0xPolygonZero / plonky2

Apache License 2.0
777 stars 289 forks source link

Remove bootstrapping #1390

Closed hratoanina closed 11 months ago

hratoanina commented 11 months ago

By removing the constraint of zero-initializing for the code segment of the kernel context, we can non-deterministically initialize it with the correct values, and then check them with a call to KECCAK_GENERAL. Removes ~17k CPU rows, ~70k Memory rows and the is_bootstrap_kernel CPU column, at the cost of one extra Memory column.

https://github.com/0xPolygonZero/zk_evm/issues/49

hratoanina commented 11 months ago

@wborgeaud I changed the zero-initializing constraint to exclude all code segments. This might make it unsound for now, but I'll work on code loading soon.

sonarcloud[bot] commented 11 months ago

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information