Comments (3)
Based on the leaps and bounds progress in the ZK space, I'm heavily leaning towards just going directly to validity proofs and skip fraud proofs for the state machine.
from celestia-core.
This can be split up into the following steps (of which some can and should be worked on in parallel):
- make the preprocess step for block N return the execution trace of block N-1 and include it (the interm. state roots) in a block
- remove the validator roots from the header and fold these into state root #66 (this will break the light client that relies on these roots to exist but we'll modify the light client to understand and use the relevant subtree of the SMT used in the abci app)
- Introduce an abci method
FinalizeBlock
and another one (before prevoting) for the non-proposer nodes to also trigger (and validate) the pending state transitions in the app, FinalizeBlock is needed to actually commit the pending new state to disk (app and tendermint side) - make the preprocess step for block N return the execution trace of block N and include the state roots in a block, also update the single state root when preprocessing - this will enable a single state fraud proof
from celestia-core.
are fraud proofs still the current plan or are we leaning towards just going straight to using a snark to prove the state machine? @adlerjohn @liamsi @musalbas
from celestia-core.
Related Issues (20)
- Allow the user to request a proof of the tx's inclusion if it has been committed
- RequestPrepareProposal has unclear comments HOT 1
- Remove outdated TODO HOT 1
- Add ability to subscribe to block data via grpc HOT 2
- Add ability to request a block via its hash HOT 1
- Port not blocking on receives work from upstream HOT 1
- Expand `TxInfo` to save the resulting code of the transaction
- Proposal: Use CometBFT protos
- Investigate malformed data in JSONL traced files HOT 2
- Compare CAT vs V1 distribution times
- Update openapi specs with TxStatus changes
- Provide more information to users in regards to pricing
- Don't vote until the local time is past the start time HOT 1
- Use the start time as the time in the votes HOT 1
- Try a high level sanity test that doesn't rely on using `tc` for artificial latency HOT 1
- Wait to vote until the end of the proposal period HOT 1
- Port performance changes from upstream
- Sanity benchmark tcp with latency and many peers HOT 1
- Ability to spin up many geographically distributed nodes
- Add IPv6 Support for Application Protocol HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from celestia-core.