Consensus Application

Simple architecture that proposes Starknet blockchain with the usage of Tendermint as a consensus

Overview

This project integrates a Starknet inspired sequencer, Tendermint consensus mechanism, and a Tendermint light client, providing a scalable solution for decentralized applications leveraging Tendermint's Byzantine Fault Tolerant (BFT) consensus connected with a simple blockchain storage.

Components

Starknet Sequencer

• Processes declare and invoke transaction
• Sends transaction to Tendermint

Tendermint Proxy Application Server

• Processes transactions that come from Tendermint
• Executes Tendermint necessary function calls
• Creates simple blockchain
• Generates proof for transactions

Tendermint Light Client

• Verifies the correctness of blocks without running a full node
• Verifies the proofs from the transactions
• Written in browser's console

Installation

Prerequisites

• Go
• Rust

Build & Run

1. Clone the repository

git clone https://github.com/your-username/starknet-tendermint.git
cd starknet-tendermint

2. Install dependencies

make install

3. Run the Proxy App Server

cargo run --bin server

4. Start the Tendermint node

tendermint init
tendermint start --consensus.create_empty_blocks_interval "10s"

5. Run the Light Client

cd web
wasm-pack build --target web
npx parcel build index.html
http-server dist

6. Run the Sequncer to declare contract

cargo run --bin sequencer -- declare

7. Run the Sequncer to deploy contract

cargo run --bin sequencer -- deploy

Further Work

Because of the basic approach towards this application, furhter work should be considered for improvement:

• [General] Removal of hardcoded stuff
• [Sequencer] Multiple transactions that could be batched in a single transaction
• [Sequncer] Check transactions with Tendermint rpc call /check before sending them
• [Sequencer] Better argument parsing
• [Sequencer, Blockchain] Adding account declare transaction
• [Blockchain] Better storage instead of simple HashMap
• [LightClient, Blockchain] Reading proof from Tendermint client
• [LightClient] It takes couple of blocks to have it verified. If no empty blocks is allowed, then it fails to verify
• [Prover] New module which would generate proof

License

This project is licensed under the MIT License. See the LICENSE file for details.

Acknowledgments

• Starknet
• Tendermint