Skip to content

Commit

Permalink
auto fix readme layout
Browse files Browse the repository at this point in the history
  • Loading branch information
apenzk committed Feb 11, 2025
1 parent 060549d commit 5222713
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions protocol-units/settlement/mcr/contracts/README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# MRC

- **RFC**: [RFC MCR](https://github.com/movementlabsxyz/rfcs/pulls)

This directory contains the implementation of the MRC settlement smart contract. To test the contract, run:
Expand All @@ -9,13 +10,17 @@ forge test

There is a long-running test covering over 50 epochs. It will likely take a few seconds to run.

# Implementation
## Description
## Implementation

### Description

For a given block height, MCR selects the earliest block commitment that matches the supermajority of stake for a given epoch by:

1. Fixing the stake parameters for the epoch; all stake changes apply to the next epoch.
2. Tracking commitments for each block height until one exceeds the supermajority of stake.

## Proof of Correctness
### Proof of Correctness

The stake is fixed for an epoch, so only commitments for a specific block height are considered, allowing for a straightforward proof.

Let $C$ represent all possible commitments, and $C'$ be an ordered subset of $C$. MCR returns $c_i \in C'$, the earliest commitment matching the supermajority of stake, defined as:
Expand Down

0 comments on commit 5222713

Please sign in to comment.