informalsystems malachite Specifications · Discussions · GitHub

Streamline the process of creating a Malachite-based application
Ideas romac

Sort by: Latest activity

Specifications Discussions

Discussions related to English and Quint specifications

You must be logged in to vote

Streaming proposal value for L16 and L18

ancazamfir started Sep 23, 2024 in Specifications

1
You must be logged in to vote

Two minimal scenarios where equivocation harms progress

cason started Sep 6, 2024 in Specifications

3
You must be logged in to vote

How to reach consensus fast and in a lazy way

cason started Sep 5, 2024 in Specifications

0
You must be logged in to vote

Validator Sets and Censorship Resistance

cason started Feb 21, 2024 in Specifications

3
You must be logged in to vote

Propagate Height to GetValue recipient

ancazamfir started Jan 11, 2024 in Specifications

1
You must be logged in to vote

Store the decided value in the consenus round state and remove value from output message

ancazamfir started Jan 11, 2024 in Specifications

0