微分方程逻辑程序设计

第二价格拍卖——维克里诺贝尔奖最实际的应用——是一个可以在 Elixir 中轻松实现的协议的绝佳示例。如果你只关心 Anoma，请注意以下几点：

Anoma 是一个协议。

Anoma 正在用 Elixir 实现。

拍卖是 Anoma 的一种典型应用。

所以，主要话题实际上是协议。然而，它们通常相当复杂。因此我们考虑将第二价格拍卖作为说明性示例，并提供一个可以在 Elixir 中实验的手把手实现。

协议

本文涉及协议的三个方面：协议设计、协议规范和协议实现。第二价格拍卖的协议设计已经完成。它是一个很好的例子，展示了博弈论和机制设计如何进入我们的日常生活。在本文中，我们主要关注协议规范和实现。 1 因此，如果你曾经想知道协议具体是什么样子以及我们如何使其运行，你将在不到 30 分钟内迅速掌握。

协议：初步近似

在初步近似中，至少在维基百科页面之上，一个协议就像一个会议议程，但时间跨度更长，并且每个参与者都扮演非常具体的角色。换句话说，协议描述了参与者在何种情况下应该做什么；特别是，它描述了参与者可以期待收到哪些消息以及如何回应这些消息。

详细查询[https://anoma.net/research/logic-programming-with-differential-equations]