https://github.com/op-rs/palmtop
Pure Rust Fault Proof Program that runs the rollup state-transition to verify an L2 output from L1 inputs.
https://github.com/op-rs/palmtop
Last synced: about 2 months ago
JSON representation
Pure Rust Fault Proof Program that runs the rollup state-transition to verify an L2 output from L1 inputs.
- Host: GitHub
- URL: https://github.com/op-rs/palmtop
- Owner: op-rs
- License: mit
- Created: 2023-09-14T16:56:45.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-09-19T23:51:04.000Z (over 1 year ago)
- Last Synced: 2025-03-29T09:42:34.301Z (about 2 months ago)
- Language: Rust
- Size: 29.3 KB
- Stars: 5
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
### palmtop
**palmtop** is a fault proof program that runs the rollup state transition to verify an L2 output from L1 inputs.
The verifiable L2 output can then be used to resolve a disputed output on L1.
The program is designed such that it can be run in a deterministic way such that two invocations with the same input
data wil result in not only the same output, but the same program execution trace. This allows it to be run in an
on-chain VM as part of the dispute resolution process.
### allusion
**palmtop** is a computer small enough to be held in your hand.
In the 1990s, the palmtop PC was the elite mobile device equipt with a tiny keyboard and little smart pen. Until the iPhone.
In essence, this is the **palmtop**, and zk proofs will (likely) be the iPhone.