<<  >> (p.4)
    Author Topic: [ANN] [DAG + Smart Contracts] Constellation Labs  (Read 4743 times)
    constellationlabs (OP)
    Newbie
    *
    Offline

    Activity: 186
    Merit: 0


    View Profile WWW
    June 08, 2018, 12:10:45 PM
     #61

    I saw in a recent presentation that you are formally verifying your framework using category theory.  Can you explain what catagory theory is and how you are using it for those who haven’t come across it?


    Category theory is a reformulation of the foundations of mathematics that has taken stride since the mid 20th century due to its uncanny ability to describe ‘unfamiliar’ mechanics of quantum mechanics and most recently it’s role in the formulation of functional programming. The tl;dr on ct is that it’s a way of defining processes as different parameterizations of underlying mechanics. Category theory allowed us to define our recursive blockchain (hylochain), which allows us to dynamically partition the network with only local update rules; orchestrating metastability while only operating on local data. In terms of formal verification,  curry-howard correspondence allows us to attribute the mathematical properties of theoretical abstract data types to actual in memory objects using an ordinary type system. Proof of MEME defines liveness in terms of the steady states of a differential equation, and by defining our data types in terms of monadic operations, we can ensure that our code emulated our analytic models.
Page 3
Viewing Page: 4