rollmint
rollmint copied to clipboard
celestiaorg
ABCI-client implementation for rollups.
Closes: #488 - Switches to immediate execution, - uses PrepareProposal when a Block Producer creates a block (CreateBlock) - uses ProcessProposalbefore a full node calls ApplyBlock. - Fixed all the...
To ease up development, there should be option to generate random namespace id by optimint. We can see, that currently developers often use the same namespace ID, which leads to...
This is a tracking issue for creating Optimint Light Client. Light client functionality depends on availability of SMT in cosmos-sdk, so we're blocked on https://github.com/celestiaorg/optimint/issues/358. Technical requirements for optimint light...
- [ ] #572 - [ ] #573
A rollmint light client does not start with a Cosmos-SDK app. In `server/start.go`, there is a notion of an `appCreator` which is how a cosmos-sdk app is initially initialized. We'd...
Currently, stage 2 & 3 of Fraud Proof Verification described [here](https://github.com/celestiaorg/rollmint/blob/manav/state_fraud_proofs_adr/docs/lazy-adr/adr-009-state-fraud-proofs.md) live in the cosmos-sdk fraudproof prototype [here](https://github.com/celestiaorg/cosmos-sdk-rollmint/blob/7db91316a32cc09b2b472837b634950666621df3/baseapp/fraudproof.go#L98). We'd like to move these stages of verification into Rollmint instead since...
- [ ] Define Commitment endpoint - [ ] Create node endpoint for getting Commitments - [ ] Implement Commitment method in open-rpc - [ ] Extend DA interface to...
Context: proofs that rollmint block was included in celestia block - [ ] Create ADR for message inclusion gossiping network - [ ] Integration tests - [ ] https://github.com/rollkit/rollkit/issues/1708
Currently there is no validation in `ValidateBasic` method of block `Data`. https://github.com/celestiaorg/rollmint/blob/3a518be702b3d4183deb888fbc7958fcc2c3b2bc/types/validation.go#L38-L42 Methods should check: - [ ] Number of ISRs corresponds to number of TXs - [ ] ISR's...
If sequencer produce block that couldn't be validated (with `Block.ValidateBasic`) and signs it, full nodes should produce proof of this misbehavior. For example, sequencer can publish a block without ISRs,...