4.27 Workshop: Timed English Auction

This workshop assumes that you have recently completed Tutorial.

In this workshop, we implement a timed English auction wherein a Seller auctions off the right for a Bidder to decide the argument to call a certain external contract method with. This demonstrates the use of collective operations in Reach with finite state.

This page is a placeholder for a future more detailed workshop. You could try to implement yourself though, given the sketch above!