jtriley.eth
@jtriley
4 replies
0 recast
28 reactions
1 reply
2 recasts
10 reactions
1 reply
0 recast
24 reactions
essentials team built out two pieces recently, declarative execution environment (essentialvm) & constraint driven language (pint)
pint contracts are composed of a persistent storage block & a series of predicates which constrain how state transitions happen. state access is made explicit in predicates, identifier (counter) may constrain existing state, identifier w single-quote suffix (counter') may constrain next state.
vm itself is a 64 bit stack machine w two execution stages, one for loading storage variables into a tx buffer, the other for constraining values in the tx buffer. isa is minimal, w a handful of logical, arithmetic, elliptic curve, sha, storage, and control flow ops
note that state is not explicitly assigned to a single value, state is arbitrarily provided by solvers, predicates only constrain the bounds of what solvers submit
obligatory counter attached: 2 replies
3 recasts
10 reactions
17 replies
3 recasts
258 reactions
3 replies
5 recasts
51 reactions
3 replies
6 recasts
50 reactions
7 replies
1 recast
88 reactions
3 replies
9 recasts
385 reactions
3 replies
0 recast
2 reactions
dao topology is composable from the m-of-n to the connectedness of of all dao's across all chains
multisigs are the most restricted, delegating alignment to external social and legal contracts on a one-member one-vote basis
dao™️ plutocracy is the most open, minimizing social and legal contract assumptions, opening membership to any buyers of the coin, trusting only the self-interest objective function
former exhibits high agency, explicit alignment, and clear direction. latter necessarily exhibits low agency to buffer capture cost from capture benefit
dao of dao's opens chain-wide and ecosystem-wide opportunities for human collaboration between ideologies, ethnicities, incentives, but a pure plutocratic supermajority leads only to the same failures of dao's as they are now
non-financialized dao structures, exotic selection mechanisms, and novel alignments are great starting points, no dao is too small, no assumption set is too large 0 reply
0 recast
5 reactions
0 reply
0 recast
2 reactions
0 reply
0 recast
1 reaction
1 reply
0 recast
4 reactions
1 reply
0 recast
7 reactions
2 replies
1 recast
18 reactions
0 reply
0 recast
0 reaction
0 reply
0 recast
1 reaction
1 reply
0 recast
2 reactions
0 reply
0 recast
7 reactions