We have at least one prototype for a fully formalized implementation of CEV, yes: mine.
(I’d argue that for the correct answer to “what are values?” to be “just do CEV”, we shouldn’t need a specific plan for CEV; we should just need good confidence that something like CEV can be implemented.)
We have at least one prototype for a fully formalized implementation of CEV, yes: mine.
(I’d argue that for the correct answer to “what are values?” to be “just do CEV”, we shouldn’t need a specific plan for CEV; we should just need good confidence that something like CEV can be implemented.)