2015-12-07 20:16:25 +00:00
|
|
|
###################
|
|
|
|
Solidity by Example
|
|
|
|
###################
|
|
|
|
|
|
|
|
.. index:: voting, ballot
|
|
|
|
|
|
|
|
.. _voting:
|
|
|
|
|
|
|
|
******
|
|
|
|
Voting
|
|
|
|
******
|
|
|
|
|
|
|
|
The following contract is quite complex, but showcases
|
|
|
|
a lot of Solidity's features. It implements a voting
|
|
|
|
contract. Of course, the main problems of electronic
|
|
|
|
voting is how to assign voting rights to the correct
|
|
|
|
persons and how to prevent manipulation. We will not
|
2016-05-13 14:32:35 +00:00
|
|
|
solve all problems here, but at least we will show
|
2015-12-07 20:16:25 +00:00
|
|
|
how delegated voting can be done so that vote counting
|
|
|
|
is **automatic and completely transparent** at the
|
|
|
|
same time.
|
|
|
|
|
|
|
|
The idea is to create one contract per ballot,
|
|
|
|
providing a short name for each option.
|
|
|
|
Then the creator of the contract who serves as
|
|
|
|
chairperson will give the right to vote to each
|
|
|
|
address individually.
|
|
|
|
|
|
|
|
The persons behind the addresses can then choose
|
|
|
|
to either vote themselves or to delegate their
|
|
|
|
vote to a person they trust.
|
|
|
|
|
2016-05-24 17:57:36 +00:00
|
|
|
At the end of the voting time, ``winningProposal()``
|
2015-12-07 20:16:25 +00:00
|
|
|
will return the proposal with the largest number
|
|
|
|
of votes.
|
|
|
|
|
|
|
|
::
|
|
|
|
|
2017-12-12 18:47:30 +00:00
|
|
|
pragma solidity ^0.4.16;
|
2016-09-05 11:54:54 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
/// @title Voting with delegation.
|
2016-05-05 19:31:00 +00:00
|
|
|
contract Ballot {
|
2015-12-07 20:16:25 +00:00
|
|
|
// This declares a new complex type which will
|
|
|
|
// be used for variables later.
|
|
|
|
// It will represent a single voter.
|
2016-05-05 19:31:00 +00:00
|
|
|
struct Voter {
|
2015-12-07 20:16:25 +00:00
|
|
|
uint weight; // weight is accumulated by delegation
|
|
|
|
bool voted; // if true, that person already voted
|
|
|
|
address delegate; // person delegated to
|
|
|
|
uint vote; // index of the voted proposal
|
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// This is a type for a single proposal.
|
2017-04-15 01:05:53 +00:00
|
|
|
struct Proposal {
|
2015-12-07 20:16:25 +00:00
|
|
|
bytes32 name; // short name (up to 32 bytes)
|
|
|
|
uint voteCount; // number of accumulated votes
|
|
|
|
}
|
|
|
|
|
|
|
|
address public chairperson;
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// This declares a state variable that
|
|
|
|
// stores a `Voter` struct for each possible address.
|
|
|
|
mapping(address => Voter) public voters;
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// A dynamically-sized array of `Proposal` structs.
|
|
|
|
Proposal[] public proposals;
|
|
|
|
|
|
|
|
/// Create a new ballot to choose one of `proposalNames`.
|
2017-12-12 18:47:30 +00:00
|
|
|
function Ballot(bytes32[] proposalNames) public {
|
2015-12-07 20:16:25 +00:00
|
|
|
chairperson = msg.sender;
|
|
|
|
voters[chairperson].weight = 1;
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// For each of the provided proposal names,
|
|
|
|
// create a new proposal object and add it
|
|
|
|
// to the end of the array.
|
2016-05-05 19:31:00 +00:00
|
|
|
for (uint i = 0; i < proposalNames.length; i++) {
|
2015-12-07 20:16:25 +00:00
|
|
|
// `Proposal({...})` creates a temporary
|
2016-05-26 12:43:00 +00:00
|
|
|
// Proposal object and `proposals.push(...)`
|
2015-12-07 20:16:25 +00:00
|
|
|
// appends it to the end of `proposals`.
|
|
|
|
proposals.push(Proposal({
|
|
|
|
name: proposalNames[i],
|
|
|
|
voteCount: 0
|
|
|
|
}));
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Give `voter` the right to vote on this ballot.
|
|
|
|
// May only be called by `chairperson`.
|
2017-12-12 18:47:30 +00:00
|
|
|
function giveRightToVote(address voter) public {
|
2017-05-02 12:12:25 +00:00
|
|
|
// If the argument of `require` evaluates to `false`,
|
|
|
|
// it terminates and reverts all changes to
|
2017-04-19 18:12:45 +00:00
|
|
|
// the state and to Ether balances. It is often
|
|
|
|
// a good idea to use this if functions are
|
|
|
|
// called incorrectly. But watch out, this
|
2017-05-02 12:12:25 +00:00
|
|
|
// will currently also consume all provided gas
|
|
|
|
// (this is planned to change in the future).
|
2018-02-19 15:58:56 +00:00
|
|
|
require(
|
|
|
|
(msg.sender == chairperson) &&
|
|
|
|
!voters[voter].voted &&
|
|
|
|
(voters[voter].weight == 0)
|
|
|
|
);
|
2015-12-07 20:16:25 +00:00
|
|
|
voters[voter].weight = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Delegate your vote to the voter `to`.
|
2017-12-12 18:47:30 +00:00
|
|
|
function delegate(address to) public {
|
2015-12-07 20:16:25 +00:00
|
|
|
// assigns reference
|
2017-07-26 13:47:03 +00:00
|
|
|
Voter storage sender = voters[msg.sender];
|
2017-04-19 18:12:45 +00:00
|
|
|
require(!sender.voted);
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2017-03-08 21:45:27 +00:00
|
|
|
// Self-delegation is not allowed.
|
2017-04-19 18:12:45 +00:00
|
|
|
require(to != msg.sender);
|
2017-03-08 21:45:27 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// Forward the delegation as long as
|
|
|
|
// `to` also delegated.
|
2016-05-31 11:56:05 +00:00
|
|
|
// In general, such loops are very dangerous,
|
|
|
|
// because if they run too long, they might
|
2016-06-08 22:36:31 +00:00
|
|
|
// need more gas than is available in a block.
|
2016-05-31 11:56:05 +00:00
|
|
|
// In this case, the delegation will not be executed,
|
|
|
|
// but in other situations, such loops might
|
|
|
|
// cause a contract to get "stuck" completely.
|
2017-03-08 21:45:27 +00:00
|
|
|
while (voters[to].delegate != address(0)) {
|
2016-06-01 21:40:38 +00:00
|
|
|
to = voters[to].delegate;
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2017-03-08 21:45:27 +00:00
|
|
|
// We found a loop in the delegation, not allowed.
|
2017-04-19 18:12:45 +00:00
|
|
|
require(to != msg.sender);
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// Since `sender` is a reference, this
|
|
|
|
// modifies `voters[msg.sender].voted`
|
|
|
|
sender.voted = true;
|
|
|
|
sender.delegate = to;
|
2018-02-19 15:58:56 +00:00
|
|
|
Voter storage delegate_ = voters[to];
|
|
|
|
if (delegate_.voted) {
|
2015-12-07 20:16:25 +00:00
|
|
|
// If the delegate already voted,
|
2016-05-13 14:32:35 +00:00
|
|
|
// directly add to the number of votes
|
2018-02-19 15:58:56 +00:00
|
|
|
proposals[delegate_.vote].voteCount += sender.weight;
|
2016-08-24 19:28:07 +00:00
|
|
|
} else {
|
2015-12-07 20:16:25 +00:00
|
|
|
// If the delegate did not vote yet,
|
|
|
|
// add to her weight.
|
2018-02-19 15:58:56 +00:00
|
|
|
delegate_.weight += sender.weight;
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Give your vote (including votes delegated to you)
|
|
|
|
/// to proposal `proposals[proposal].name`.
|
2017-12-12 18:47:30 +00:00
|
|
|
function vote(uint proposal) public {
|
2017-07-26 13:47:03 +00:00
|
|
|
Voter storage sender = voters[msg.sender];
|
2017-04-19 18:12:45 +00:00
|
|
|
require(!sender.voted);
|
2015-12-07 20:16:25 +00:00
|
|
|
sender.voted = true;
|
|
|
|
sender.vote = proposal;
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// If `proposal` is out of the range of the array,
|
|
|
|
// this will throw automatically and revert all
|
|
|
|
// changes.
|
|
|
|
proposals[proposal].voteCount += sender.weight;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @dev Computes the winning proposal taking all
|
|
|
|
/// previous votes into account.
|
2017-12-12 18:47:30 +00:00
|
|
|
function winningProposal() public view
|
2018-02-19 15:58:56 +00:00
|
|
|
returns (uint winningProposal_)
|
2015-12-07 20:16:25 +00:00
|
|
|
{
|
|
|
|
uint winningVoteCount = 0;
|
2017-12-13 07:55:46 +00:00
|
|
|
for (uint p = 0; p < proposals.length; p++) {
|
|
|
|
if (proposals[p].voteCount > winningVoteCount) {
|
|
|
|
winningVoteCount = proposals[p].voteCount;
|
2018-02-19 15:58:56 +00:00
|
|
|
winningProposal_ = p;
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-06-21 03:48:49 +00:00
|
|
|
|
2016-11-03 16:55:19 +00:00
|
|
|
// Calls winningProposal() function to get the index
|
|
|
|
// of the winner contained in the proposals array and then
|
|
|
|
// returns the name of the winner
|
2017-12-12 18:47:30 +00:00
|
|
|
function winnerName() public view
|
2018-02-19 15:58:56 +00:00
|
|
|
returns (bytes32 winnerName_)
|
2016-11-03 07:32:25 +00:00
|
|
|
{
|
2018-02-19 15:58:56 +00:00
|
|
|
winnerName_ = proposals[winningProposal()].name;
|
2016-11-03 07:32:25 +00:00
|
|
|
}
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
|
2018-02-19 15:58:56 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
Possible Improvements
|
|
|
|
=====================
|
|
|
|
|
|
|
|
Currently, many transactions are needed to assign the rights
|
|
|
|
to vote to all participants. Can you think of a better way?
|
|
|
|
|
|
|
|
.. index:: auction;blind, auction;open, blind auction, open auction
|
|
|
|
|
|
|
|
*************
|
|
|
|
Blind Auction
|
|
|
|
*************
|
|
|
|
|
|
|
|
In this section, we will show how easy it is to create a
|
|
|
|
completely blind auction contract on Ethereum.
|
|
|
|
We will start with an open auction where everyone
|
|
|
|
can see the bids that are made and then extend this
|
|
|
|
contract into a blind auction where it is not
|
|
|
|
possible to see the actual bid until the bidding
|
|
|
|
period ends.
|
|
|
|
|
2016-07-08 16:21:57 +00:00
|
|
|
.. _simple_auction:
|
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
Simple Open Auction
|
|
|
|
===================
|
|
|
|
|
|
|
|
The general idea of the following simple auction contract
|
|
|
|
is that everyone can send their bids during
|
|
|
|
a bidding period. The bids already include sending
|
|
|
|
money / ether in order to bind the bidders to their
|
|
|
|
bid. If the highest bid is raised, the previously
|
|
|
|
highest bidder gets her money back.
|
|
|
|
After the end of the bidding period, the
|
|
|
|
contract has to be called manually for the
|
|
|
|
beneficiary to receive his money - contracts cannot
|
|
|
|
activate themselves.
|
|
|
|
|
|
|
|
::
|
|
|
|
|
2018-03-02 11:29:48 +00:00
|
|
|
pragma solidity ^0.4.21;
|
2016-09-05 11:54:54 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
contract SimpleAuction {
|
|
|
|
// Parameters of the auction. Times are either
|
|
|
|
// absolute unix timestamps (seconds since 1970-01-01)
|
2016-04-12 01:08:29 +00:00
|
|
|
// or time periods in seconds.
|
2015-12-07 20:16:25 +00:00
|
|
|
address public beneficiary;
|
2017-10-08 20:24:27 +00:00
|
|
|
uint public auctionEnd;
|
2015-12-07 20:16:25 +00:00
|
|
|
|
|
|
|
// Current state of the auction.
|
|
|
|
address public highestBidder;
|
|
|
|
uint public highestBid;
|
|
|
|
|
2016-05-31 11:56:05 +00:00
|
|
|
// Allowed withdrawals of previous bids
|
|
|
|
mapping(address => uint) pendingReturns;
|
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
// Set to true at the end, disallows any change
|
|
|
|
bool ended;
|
|
|
|
|
|
|
|
// Events that will be fired on changes.
|
|
|
|
event HighestBidIncreased(address bidder, uint amount);
|
|
|
|
event AuctionEnded(address winner, uint amount);
|
|
|
|
|
|
|
|
// The following is a so-called natspec comment,
|
|
|
|
// recognizable by the three slashes.
|
|
|
|
// It will be shown when the user is asked to
|
|
|
|
// confirm a transaction.
|
|
|
|
|
|
|
|
/// Create a simple auction with `_biddingTime`
|
|
|
|
/// seconds bidding time on behalf of the
|
|
|
|
/// beneficiary address `_beneficiary`.
|
2016-05-05 19:31:00 +00:00
|
|
|
function SimpleAuction(
|
|
|
|
uint _biddingTime,
|
|
|
|
address _beneficiary
|
2017-12-12 18:47:30 +00:00
|
|
|
) public {
|
2015-12-07 20:16:25 +00:00
|
|
|
beneficiary = _beneficiary;
|
2017-10-08 20:40:18 +00:00
|
|
|
auctionEnd = now + _biddingTime;
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Bid on the auction with the value sent
|
|
|
|
/// together with this transaction.
|
|
|
|
/// The value will only be refunded if the
|
|
|
|
/// auction is not won.
|
2017-12-12 18:47:30 +00:00
|
|
|
function bid() public payable {
|
2015-12-07 20:16:25 +00:00
|
|
|
// No arguments are necessary, all
|
|
|
|
// information is already part of
|
2016-09-05 14:29:08 +00:00
|
|
|
// the transaction. The keyword payable
|
|
|
|
// is required for the function to
|
|
|
|
// be able to receive Ether.
|
2017-04-19 18:12:45 +00:00
|
|
|
|
|
|
|
// Revert the call if the bidding
|
|
|
|
// period is over.
|
2017-10-08 20:24:27 +00:00
|
|
|
require(now <= auctionEnd);
|
2017-04-19 18:12:45 +00:00
|
|
|
|
|
|
|
// If the bid is not higher, send the
|
|
|
|
// money back.
|
2017-05-02 15:33:46 +00:00
|
|
|
require(msg.value > highestBid);
|
2017-06-21 03:48:49 +00:00
|
|
|
|
2018-02-21 17:42:57 +00:00
|
|
|
if (highestBid != 0) {
|
2016-05-31 11:56:05 +00:00
|
|
|
// Sending back the money by simply using
|
|
|
|
// highestBidder.send(highestBid) is a security risk
|
2017-08-04 12:08:37 +00:00
|
|
|
// because it could execute an untrusted contract.
|
|
|
|
// It is always safer to let the recipients
|
|
|
|
// withdraw their money themselves.
|
2016-05-31 11:56:05 +00:00
|
|
|
pendingReturns[highestBidder] += highestBid;
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
2015-12-07 20:16:25 +00:00
|
|
|
highestBidder = msg.sender;
|
|
|
|
highestBid = msg.value;
|
2018-02-16 16:32:30 +00:00
|
|
|
emit HighestBidIncreased(msg.sender, msg.value);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
|
2016-05-31 11:56:05 +00:00
|
|
|
/// Withdraw a bid that was overbid.
|
2017-12-12 18:47:30 +00:00
|
|
|
function withdraw() public returns (bool) {
|
2017-07-26 13:46:13 +00:00
|
|
|
uint amount = pendingReturns[msg.sender];
|
2016-06-18 01:29:54 +00:00
|
|
|
if (amount > 0) {
|
|
|
|
// It is important to set this to zero because the recipient
|
|
|
|
// can call this function again as part of the receiving call
|
|
|
|
// before `send` returns.
|
|
|
|
pendingReturns[msg.sender] = 0;
|
|
|
|
|
2017-06-21 03:48:49 +00:00
|
|
|
if (!msg.sender.send(amount)) {
|
2016-06-18 01:29:54 +00:00
|
|
|
// No need to call throw here, just reset the amount owing
|
|
|
|
pendingReturns[msg.sender] = amount;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
2016-05-31 11:56:05 +00:00
|
|
|
}
|
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
/// End the auction and send the highest bid
|
|
|
|
/// to the beneficiary.
|
2017-12-12 18:47:30 +00:00
|
|
|
function auctionEnd() public {
|
2016-06-28 15:29:08 +00:00
|
|
|
// It is a good guideline to structure functions that interact
|
|
|
|
// with other contracts (i.e. they call functions or send Ether)
|
|
|
|
// into three phases:
|
|
|
|
// 1. checking conditions
|
|
|
|
// 2. performing actions (potentially changing conditions)
|
|
|
|
// 3. interacting with other contracts
|
|
|
|
// If these phases are mixed up, the other contract could call
|
|
|
|
// back into the current contract and modify the state or cause
|
2017-05-25 21:17:47 +00:00
|
|
|
// effects (ether payout) to be performed multiple times.
|
2016-06-28 15:29:08 +00:00
|
|
|
// If functions called internally include interaction with external
|
|
|
|
// contracts, they also have to be considered interaction with
|
|
|
|
// external contracts.
|
|
|
|
|
|
|
|
// 1. Conditions
|
2017-10-08 20:24:27 +00:00
|
|
|
require(now >= auctionEnd); // auction did not yet end
|
2017-04-19 18:12:45 +00:00
|
|
|
require(!ended); // this function has already been called
|
2016-06-28 15:29:08 +00:00
|
|
|
|
|
|
|
// 2. Effects
|
|
|
|
ended = true;
|
2018-02-16 16:32:30 +00:00
|
|
|
emit AuctionEnded(highestBidder, highestBid);
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2016-06-28 15:29:08 +00:00
|
|
|
// 3. Interaction
|
2017-05-02 12:12:25 +00:00
|
|
|
beneficiary.transfer(highestBid);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Blind Auction
|
2016-05-18 15:05:28 +00:00
|
|
|
=============
|
2015-12-07 20:16:25 +00:00
|
|
|
|
|
|
|
The previous open auction is extended to a blind auction
|
|
|
|
in the following. The advantage of a blind auction is
|
|
|
|
that there is no time pressure towards the end of
|
|
|
|
the bidding period. Creating a blind auction on a
|
|
|
|
transparent computing platform might sound like a
|
|
|
|
contradiction, but cryptography comes to the rescue.
|
|
|
|
|
|
|
|
During the **bidding period**, a bidder does not
|
|
|
|
actually send her bid, but only a hashed version of it.
|
|
|
|
Since it is currently considered practically impossible
|
|
|
|
to find two (sufficiently long) values whose hash
|
|
|
|
values are equal, the bidder commits to the bid by that.
|
|
|
|
After the end of the bidding period, the bidders have
|
|
|
|
to reveal their bids: They send their values
|
|
|
|
unencrypted and the contract checks that the hash value
|
|
|
|
is the same as the one provided during the bidding period.
|
|
|
|
|
|
|
|
Another challenge is how to make the auction
|
|
|
|
**binding and blind** at the same time: The only way to
|
|
|
|
prevent the bidder from just not sending the money
|
|
|
|
after he won the auction is to make her send it
|
|
|
|
together with the bid. Since value transfers cannot
|
|
|
|
be blinded in Ethereum, anyone can see the value.
|
|
|
|
|
|
|
|
The following contract solves this problem by
|
2017-07-17 09:58:41 +00:00
|
|
|
accepting any value that is larger than the highest
|
|
|
|
bid. Since this can of course only be checked during
|
2015-12-07 20:16:25 +00:00
|
|
|
the reveal phase, some bids might be **invalid**, and
|
|
|
|
this is on purpose (it even provides an explicit
|
|
|
|
flag to place invalid bids with high value transfers):
|
|
|
|
Bidders can confuse competition by placing several
|
|
|
|
high or low invalid bids.
|
|
|
|
|
|
|
|
|
|
|
|
::
|
|
|
|
|
2018-03-02 11:29:48 +00:00
|
|
|
pragma solidity ^0.4.21;
|
2016-09-05 11:54:54 +00:00
|
|
|
|
2016-05-05 19:31:00 +00:00
|
|
|
contract BlindAuction {
|
|
|
|
struct Bid {
|
2015-12-07 20:16:25 +00:00
|
|
|
bytes32 blindedBid;
|
|
|
|
uint deposit;
|
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
address public beneficiary;
|
|
|
|
uint public biddingEnd;
|
|
|
|
uint public revealEnd;
|
|
|
|
bool public ended;
|
|
|
|
|
|
|
|
mapping(address => Bid[]) public bids;
|
|
|
|
|
|
|
|
address public highestBidder;
|
|
|
|
uint public highestBid;
|
|
|
|
|
2016-05-31 11:56:05 +00:00
|
|
|
// Allowed withdrawals of previous bids
|
|
|
|
mapping(address => uint) pendingReturns;
|
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
event AuctionEnded(address winner, uint highestBid);
|
|
|
|
|
|
|
|
/// Modifiers are a convenient way to validate inputs to
|
|
|
|
/// functions. `onlyBefore` is applied to `bid` below:
|
|
|
|
/// The new function body is the modifier's body where
|
|
|
|
/// `_` is replaced by the old function body.
|
2017-05-02 12:12:25 +00:00
|
|
|
modifier onlyBefore(uint _time) { require(now < _time); _; }
|
|
|
|
modifier onlyAfter(uint _time) { require(now > _time); _; }
|
2015-12-07 20:16:25 +00:00
|
|
|
|
2016-05-05 19:31:00 +00:00
|
|
|
function BlindAuction(
|
|
|
|
uint _biddingTime,
|
|
|
|
uint _revealTime,
|
|
|
|
address _beneficiary
|
2017-12-12 18:47:30 +00:00
|
|
|
) public {
|
2015-12-07 20:16:25 +00:00
|
|
|
beneficiary = _beneficiary;
|
|
|
|
biddingEnd = now + _biddingTime;
|
|
|
|
revealEnd = biddingEnd + _revealTime;
|
|
|
|
}
|
|
|
|
|
2016-10-06 12:24:36 +00:00
|
|
|
/// Place a blinded bid with `_blindedBid` = keccak256(value,
|
2015-12-07 20:16:25 +00:00
|
|
|
/// fake, secret).
|
|
|
|
/// The sent ether is only refunded if the bid is correctly
|
|
|
|
/// revealed in the revealing phase. The bid is valid if the
|
|
|
|
/// ether sent together with the bid is at least "value" and
|
|
|
|
/// "fake" is not true. Setting "fake" to true and sending
|
|
|
|
/// not the exact amount are ways to hide the real bid but
|
|
|
|
/// still make the required deposit. The same address can
|
|
|
|
/// place multiple bids.
|
|
|
|
function bid(bytes32 _blindedBid)
|
2017-12-12 18:47:30 +00:00
|
|
|
public
|
2016-09-05 14:29:08 +00:00
|
|
|
payable
|
2015-12-07 20:16:25 +00:00
|
|
|
onlyBefore(biddingEnd)
|
|
|
|
{
|
|
|
|
bids[msg.sender].push(Bid({
|
|
|
|
blindedBid: _blindedBid,
|
|
|
|
deposit: msg.value
|
|
|
|
}));
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Reveal your blinded bids. You will get a refund for all
|
|
|
|
/// correctly blinded invalid bids and for all bids except for
|
|
|
|
/// the totally highest.
|
2016-05-05 19:31:00 +00:00
|
|
|
function reveal(
|
|
|
|
uint[] _values,
|
|
|
|
bool[] _fake,
|
|
|
|
bytes32[] _secret
|
|
|
|
)
|
2017-12-12 18:47:30 +00:00
|
|
|
public
|
2015-12-07 20:16:25 +00:00
|
|
|
onlyAfter(biddingEnd)
|
|
|
|
onlyBefore(revealEnd)
|
|
|
|
{
|
|
|
|
uint length = bids[msg.sender].length;
|
2017-05-02 15:33:46 +00:00
|
|
|
require(_values.length == length);
|
|
|
|
require(_fake.length == length);
|
|
|
|
require(_secret.length == length);
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
uint refund;
|
2016-05-05 19:31:00 +00:00
|
|
|
for (uint i = 0; i < length; i++) {
|
2015-12-07 20:16:25 +00:00
|
|
|
var bid = bids[msg.sender][i];
|
|
|
|
var (value, fake, secret) =
|
|
|
|
(_values[i], _fake[i], _secret[i]);
|
2016-10-06 12:24:36 +00:00
|
|
|
if (bid.blindedBid != keccak256(value, fake, secret)) {
|
2015-12-07 20:16:25 +00:00
|
|
|
// Bid was not actually revealed.
|
|
|
|
// Do not refund deposit.
|
|
|
|
continue;
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
2016-01-11 23:47:23 +00:00
|
|
|
refund += bid.deposit;
|
2016-05-05 19:31:00 +00:00
|
|
|
if (!fake && bid.deposit >= value) {
|
2015-12-07 20:16:25 +00:00
|
|
|
if (placeBid(msg.sender, value))
|
|
|
|
refund -= value;
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
2015-12-07 20:16:25 +00:00
|
|
|
// Make it impossible for the sender to re-claim
|
|
|
|
// the same deposit.
|
2017-08-24 16:03:27 +00:00
|
|
|
bid.blindedBid = bytes32(0);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2017-04-19 18:12:45 +00:00
|
|
|
msg.sender.transfer(refund);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// This is an "internal" function which means that it
|
|
|
|
// can only be called from the contract itself (or from
|
|
|
|
// derived contracts).
|
|
|
|
function placeBid(address bidder, uint value) internal
|
|
|
|
returns (bool success)
|
|
|
|
{
|
2016-05-05 19:31:00 +00:00
|
|
|
if (value <= highestBid) {
|
2015-12-07 20:16:25 +00:00
|
|
|
return false;
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
|
|
|
if (highestBidder != 0) {
|
2015-12-07 20:16:25 +00:00
|
|
|
// Refund the previously highest bidder.
|
2016-05-31 11:56:05 +00:00
|
|
|
pendingReturns[highestBidder] += highestBid;
|
2016-05-05 19:31:00 +00:00
|
|
|
}
|
2015-12-07 20:16:25 +00:00
|
|
|
highestBid = value;
|
|
|
|
highestBidder = bidder;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2016-05-31 11:56:05 +00:00
|
|
|
/// Withdraw a bid that was overbid.
|
2017-12-12 18:47:30 +00:00
|
|
|
function withdraw() public {
|
2017-07-26 13:46:13 +00:00
|
|
|
uint amount = pendingReturns[msg.sender];
|
2016-06-18 01:29:54 +00:00
|
|
|
if (amount > 0) {
|
|
|
|
// It is important to set this to zero because the recipient
|
|
|
|
// can call this function again as part of the receiving call
|
2017-11-23 17:43:19 +00:00
|
|
|
// before `transfer` returns (see the remark above about
|
2016-06-18 01:29:54 +00:00
|
|
|
// conditions -> effects -> interaction).
|
|
|
|
pendingReturns[msg.sender] = 0;
|
|
|
|
|
2017-07-26 13:47:15 +00:00
|
|
|
msg.sender.transfer(amount);
|
2016-06-18 01:29:54 +00:00
|
|
|
}
|
2016-05-31 11:56:05 +00:00
|
|
|
}
|
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
/// End the auction and send the highest bid
|
|
|
|
/// to the beneficiary.
|
|
|
|
function auctionEnd()
|
2017-12-12 18:47:30 +00:00
|
|
|
public
|
2015-12-07 20:16:25 +00:00
|
|
|
onlyAfter(revealEnd)
|
|
|
|
{
|
2017-04-19 18:12:45 +00:00
|
|
|
require(!ended);
|
2018-02-16 16:32:30 +00:00
|
|
|
emit AuctionEnded(highestBidder, highestBid);
|
2016-06-28 15:29:08 +00:00
|
|
|
ended = true;
|
2017-11-23 17:43:19 +00:00
|
|
|
beneficiary.transfer(highestBid);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-11-23 17:43:19 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
.. index:: purchase, remote purchase, escrow
|
|
|
|
|
|
|
|
********************
|
|
|
|
Safe Remote Purchase
|
|
|
|
********************
|
|
|
|
|
|
|
|
::
|
|
|
|
|
2018-03-02 11:29:48 +00:00
|
|
|
pragma solidity ^0.4.21;
|
2016-09-05 11:54:54 +00:00
|
|
|
|
2016-05-05 19:31:00 +00:00
|
|
|
contract Purchase {
|
2015-12-07 20:16:25 +00:00
|
|
|
uint public value;
|
|
|
|
address public seller;
|
|
|
|
address public buyer;
|
|
|
|
enum State { Created, Locked, Inactive }
|
|
|
|
State public state;
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2017-08-28 11:14:41 +00:00
|
|
|
// Ensure that `msg.value` is an even number.
|
|
|
|
// Division will truncate if it is an odd number.
|
|
|
|
// Check via multiplication that it wasn't an odd number.
|
2017-12-12 18:47:30 +00:00
|
|
|
function Purchase() public payable {
|
2015-12-07 20:16:25 +00:00
|
|
|
seller = msg.sender;
|
|
|
|
value = msg.value / 2;
|
2017-05-03 10:02:46 +00:00
|
|
|
require((2 * value) == msg.value);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2017-05-02 12:12:25 +00:00
|
|
|
modifier condition(bool _condition) {
|
2017-04-19 18:12:45 +00:00
|
|
|
require(_condition);
|
2016-09-05 14:29:08 +00:00
|
|
|
_;
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
|
|
|
modifier onlyBuyer() {
|
2017-04-19 18:12:45 +00:00
|
|
|
require(msg.sender == buyer);
|
2016-09-05 14:29:08 +00:00
|
|
|
_;
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
|
|
|
modifier onlySeller() {
|
2017-04-19 18:12:45 +00:00
|
|
|
require(msg.sender == seller);
|
2016-09-05 14:29:08 +00:00
|
|
|
_;
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
|
|
|
modifier inState(State _state) {
|
2017-04-19 18:12:45 +00:00
|
|
|
require(state == _state);
|
2016-09-05 14:29:08 +00:00
|
|
|
_;
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2017-05-25 16:41:40 +00:00
|
|
|
event Aborted();
|
|
|
|
event PurchaseConfirmed();
|
|
|
|
event ItemReceived();
|
2015-12-07 20:16:25 +00:00
|
|
|
|
|
|
|
/// Abort the purchase and reclaim the ether.
|
|
|
|
/// Can only be called by the seller before
|
|
|
|
/// the contract is locked.
|
|
|
|
function abort()
|
2017-12-12 18:47:30 +00:00
|
|
|
public
|
2015-12-07 20:16:25 +00:00
|
|
|
onlySeller
|
|
|
|
inState(State.Created)
|
|
|
|
{
|
2018-02-16 16:32:30 +00:00
|
|
|
emit Aborted();
|
2015-12-07 20:16:25 +00:00
|
|
|
state = State.Inactive;
|
2017-04-19 18:12:45 +00:00
|
|
|
seller.transfer(this.balance);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
/// Confirm the purchase as buyer.
|
|
|
|
/// Transaction has to include `2 * value` ether.
|
|
|
|
/// The ether will be locked until confirmReceived
|
|
|
|
/// is called.
|
|
|
|
function confirmPurchase()
|
2017-12-12 18:47:30 +00:00
|
|
|
public
|
2015-12-07 20:16:25 +00:00
|
|
|
inState(State.Created)
|
2017-05-03 10:02:46 +00:00
|
|
|
condition(msg.value == (2 * value))
|
2016-09-05 14:29:08 +00:00
|
|
|
payable
|
2015-12-07 20:16:25 +00:00
|
|
|
{
|
2018-02-16 16:32:30 +00:00
|
|
|
emit PurchaseConfirmed();
|
2015-12-07 20:16:25 +00:00
|
|
|
buyer = msg.sender;
|
|
|
|
state = State.Locked;
|
|
|
|
}
|
2016-05-05 19:31:00 +00:00
|
|
|
|
2015-12-07 20:16:25 +00:00
|
|
|
/// Confirm that you (the buyer) received the item.
|
|
|
|
/// This will release the locked ether.
|
|
|
|
function confirmReceived()
|
2017-12-12 18:47:30 +00:00
|
|
|
public
|
2015-12-07 20:16:25 +00:00
|
|
|
onlyBuyer
|
|
|
|
inState(State.Locked)
|
|
|
|
{
|
2018-02-16 16:32:30 +00:00
|
|
|
emit ItemReceived();
|
2016-05-31 11:56:05 +00:00
|
|
|
// It is important to change the state first because
|
|
|
|
// otherwise, the contracts called using `send` below
|
|
|
|
// can call in again here.
|
2015-12-07 20:16:25 +00:00
|
|
|
state = State.Inactive;
|
2017-05-02 15:33:46 +00:00
|
|
|
|
|
|
|
// NOTE: This actually allows both the buyer and the seller to
|
2017-05-02 12:12:25 +00:00
|
|
|
// block the refund - the withdraw pattern should be used.
|
2017-05-02 15:33:46 +00:00
|
|
|
|
2017-05-02 12:12:25 +00:00
|
|
|
buyer.transfer(value);
|
2017-05-17 09:20:46 +00:00
|
|
|
seller.transfer(this.balance);
|
2015-12-07 20:16:25 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
********************
|
|
|
|
Micropayment Channel
|
|
|
|
********************
|
|
|
|
|
|
|
|
To be written.
|