Dan Connolly
Dan Connolly
Are we betting on propositions in Mercury? Here's hoping for time to pore over the code and find relevant specs: > Unlike Ethereum’s betting on a whole blocks, RChain’s betting...
Neither @JoshOrndorff quite understand what "Data separation to reduce unnecessary data replication" means in this bullet: > - Data separation to reduce unnecessary data replication of otherwise independent tokens and...
I wonder if some sort of footnote is appropriate for the Mercury time-frame: > Since the contract language and its VM are build [sic] from the formal specifications of provable...
> Derived from the rho-calculus computational formalism, ...
The high-level architecture diagram seems more up-to-date than the text around it: > The RChain Network implements direct node-to-node communication, where each node runs the RChain platform and a set...
"RCP" is a typo in architecture-docs/img/architecture-overview.png It should be "RPC". And json is usually capitalized, so it should be "JSON RPC". But the core RPC mechanism is actually GRPC.
_IOU better issue description._ @pyrocto ping? does this reach you? _context: [RChain Architecture document revision](https://github.com/rchain/bounties/issues/580)_
goal: add quarterly financial reports to board agenda using [rvote](https://github.com/rchain/rvote) - signaling votes from coop members - binding votes from board members _IOU a [governance ToD](https://github.com/rchain/Governance-Committee/issues)._ future goal: reflect bookkeeping...
https://github.com/organix/uFork now has a rust/wasm impl
https://genode.org/documentation/release-notes/22.11