arxiv: v2 [cs.gt] 17 Nov 2017

Transcription

1 Optmal Aucton For Edge Computng Resource Management n Moble Blockchan Networks: A Deep Learnng Approach Nguyen Cong Luong, Zehu Xong, Png Wang, and Dust Nyato School of Computer Scence and Engneerng, Nanyang Technologcal Unversty, Sngapore arxv:7.2844v2 [cs.gt] 7 Nov 27 Abstract Blockchan has recently been appled n many applcatons such as btcon, smart grd, and Internet of Thngs (IoT) as a publc ledger of transactons. However, the use of blockchan n moble envronments s stll lmted because the mnng process consumes too much computng and energy resources on moble devces. Edge computng offered by the Edge Computng Servce Provder can be adopted as a vable soluton for offloadng the mnng tasks from the moble devces,.e., mners, n the moble blockchan envronment. However, a mechansm needs to be desgned for edge resource allocaton to maxmze the revenue for the Edge Computng Servce Provder and to ensure ncentve compatblty and ndvdual ratonalty s stll open. In ths paper, we develop an optmal aucton based on deep learnng for the edge resource allocaton. Specfcally, we construct a mult-layer neural network archtecture based on an analytcal soluton of the optmal aucton. The neural networks frst perform monotone transformatons of the mners bds. Then, they calculate allocaton and condtonal payment rules for the mners. We use valuatons of the mners as the data tranng to adjust parameters of the neural networks so as to optmze the loss functon whch s the expected, negated revenue of the Edge Computng Servce Provder. We show the expermental results to confrm the benefts of usng the deep learnng for dervng the optmal aucton for moble blockchan wth hgh revenue. Index Terms Moble blockchan network, edge computng, aucton, deep learnng. I. INTRODUCTION Blockchan has been adopted n many applcatons such as Btcon [], smart grd power systems [2], and fnance ndustry [3]. Recent reports predct that the annual revenue for enterprse applcatons of blockchan wll ncrease from approxmately $2.5 bllon worldwde n 26 to $9.9 bllon by 225, meanng a compound annual growth rate of 26.2% ( Dfferent from the centralzed dgtal ledger approaches, blockchan does not rely on centralzed authortes to store transacton data. Instead, data blocks are recorded and shared by blockchan users over the whole blockchan network. Thus, the blockchan acheves hgh throughput and effcency of transacton processng whle mantanng data securty and ntegrty. However, deployng blockchan applcatons n moble networks faces some crtcal challenge. Ths s due to the mnng process,.e., solvng the Proof-of-Work (PoW) puzzle, whch requres hgh computng power and energy from moble devces. To address the challenge, the edge computng paradgm s ntroduced nto the moble blockchan networks [4], [5] whch allows the mnng task of moble users,.e., the mners, to be offloaded to an Edge Computng Servce Provder (ECSP). However, an mportant ssue of how to effcently allocate the lmted edge computng resources to mners stll remans. Aucton becomes an approprate soluton whch can guarantee that the edge computng resources are allocated to the mners whch value the resources most. In a tradtonal aucton, bdders or buyers, whch are mners n the moble blockchan context, compete for the resource unts by submttng ther prces,.e., bds, to the ECSP as an auctoneer,.e., the seller. Gven the receved bds, the ECSP determnes the wnnng mners and the prces that they pay. However, tradtonal auctons such as the frst-prce aucton and the second-prce aucton only guarantee ether revenue gan for the ECSP or Incentve Compatblty (IC). The problem of desgnng an optmal aucton n terms of maxmzng the revenue for the ECSP and ensurng Domnant-Strategy IC (DSIC) as well as Indvdual Ratonalty (IR) s consderably challengng. In recent years, the deep learnng technque whch s able to automatcally dentfy relevant features has ganed consderable attenton. The deep learnng, n prncple, uses neural networks to encode any mappng from nputs to outputs [6]. Especally, by usng stochastc gradent descent, the deep learnng succeeds n fndng globally optmal solutons. In ths regard, the authors n [2] proposed to use the deep learnng for the optmal auctons. The deep learnng archtecture partcularly fts for aforementoned settng and problem. In partcular, n edge computng resource aucton, the nputs to the neural networks are the mners bds and the outputs encode the wnner determnaton and payments of the mners. In ths paper, we thus use the deep learnng archtecture whch was proposed n [2] for the edge resource allocaton for moble blockchan networks. Specfcally, we leverage the analytcal soluton from [7] to construct the neural network archtecture to provde precse ft to the optmal aucton. The neural networks frst perform monotone transformatons of bddng valuatons of the mners. Then, they calculate the allocaton rule,.e., wnnng probabltes of the mners, and the condtonal payment rule to the mners. A neural network tranng s fnally mplemented to adjust parameters of the neural networks so as to optmze a loss functon whch s the expected, negated revenue of the ECSP. Smulaton results demonstrate that our proposed scheme can converge quckly to the soluton at whch the revenue

2 of the ECSP s sgnfcantly hgher than that obtaned by the tradtonal aucton. To the best of our knowledge, ths s the frst paper that nvestgates the applcaton of deep learnng-based aucton for the edge resource allocaton n moble blockchan networks. The rest of ths paper s organzed as follows. Secton II revews related work. Secton III descrbes the system model and problem formulaton. Secton IV presents the deep learnngbased optmal aucton algorthm for the edge resource allocaton. Secton V shows the numercal performance evaluaton results. Secton VI summarzes the paper. II. RELATED WORK There have recently been studes on the applcatons of game theory and prcng models for blockchan networks. As a poneer work, the authors n [8] modeled the mnng process as a game among the mners. In the game, the strateges of the mners are to determne branches of blockchan to mne. It s then proved that f the mners behave as expected by the Btcon desgner, there exsts a Nash equlbrum n the game. The game approach s also found n [9], but the strateges of the mners are to determne the sze of block to broadcast as ther responses. Analytcal solutons are used to prove the exstence of a Nash equlbrum. However, the model has only two mners. Dfferent from [8] and [9], the authors n [] proposed the cooperatve game for the mnng pool. Accordngly, the mners form a coalton to accumulate computatonal power and have steady reward. However, the proposed scheme only consders the nternal mnng, but not a dynamc envronment such as the moble blockchan network. The reason s from the fact that the mnng process wth hgh computng power demand cannot be effcently mplemented at the moble devces. To address the ssue, the authors n [4] ntroduced an edge computng model nto the moble blockchan network. In the model, the mnng process of mners,.e., moble users, s offloaded to an ECSP. The allocaton of the edge resources to the mners s mplemented usng a prcng approach based on the combnatoral aucton. The proposed scheme maxmzes the socal welfare whle guaranteeng ncentve compatblty or truthfulness. However, the revenue of the ECSP s not consdered whch s the most mportant factor to ncentvze the ECSP to offer ts edge computng servces. To optmze the revenue, the authors n [2] proposed to use deep learnng, an emergng tool for fndng globally optmal solutons, for optmal auctons. However, the consdered models are general auctons. The aforementoned approaches motvate us to nvestgate an optmal mechansm for the edge resource allocaton n the moble blockchan network. Specfcally, we employ the deep learnng archtecture n [2] to desgn the optmal mechansm whch guarantees the revenue maxmzaton for the ECSP whle ensurng the DSIC and IR. III. SYSTEM MODEL AND PROBLEM FORMULATION Ths secton ntroduces the mnng process of mners and then presents the system model of the moble blockhan network as well as the edge resource allocaton problem. A. Blockchan Mnng Process Input Moble devce (bdder) ECSP (seller) b ( t, c) Neural network Output ( t2, c2) Edge computng resource Data synchronzaton Moble devce (bdder) ( t, c ) N N Moble devce (bdder) Fg. : System model of edge computng n moble blockchan network. ECSP stands for Edge Computng Servce Provder. To create a chan of blocks, a mnng process s mplemented to confrm and secure transactons to be stored n a block. The mnng process actually solves the proof-of-work (PoW). The PoW s a complex mathematcal problem [] n whch solvng the problem depends on the set of transactons to be ncluded n the block. The mathematcal problem s n a form of the hash functon to combne the nformaton about the prevous block and the set of current transactons. After the problem s solved, the soluton has to be propagated to reach consensus,.e., a certan number of mners agreeng and acceptng the soluton. Once all these steps are done successfully, the set of transactons proposed by the mner forms a block that s appended to the current blockchan. The frst mner whch successfully obtans the soluton of the PoW and reaches the consensus receves a mnng reward. In general, solvng the PoW requres hgh computng power, tme, and energy, and thus t cannot be effcently executed at the moble devces. As such, we ntroduce the edge computng model to the moble blockchan network for offloadng the mnng process from the moble devces. B. Edge Computng for Blockchan Mnng The edge computng model s shown n Fg. whch conssts of one ECSP and moble users,.e., the mners. The ECSP owns edge computng resources whch are dstrbuted across over the network to provde the moble users computng resource servces. We consder a small area of the network ncludng N moble users and one edge computng resource unt of the ECSP. Because the edge computng resource unt s only assgned to a sngle moble user, the moble users compete on buyng the unt. Note that each moble user may already have an ntal computng capacty denoted by c. If the mner obtans the edge computng resource, t wll be

3 combned wth the ntal computng capacty to speed up the mnng process. The sze of a block s denoted by t, whch s the amount of transactons to be ncluded n the block chosen by the mner. In general, when the sze of the block t s larger, the mner has more ncentve to buy the edge computng resource unt to complete mnng the block. Ths means that the mner s wllng to pay a hgh prce for the edge computng resource unt. On the contrary, when the ntal computng capacty s larger, the mner has the less ncentve. In ths case, the mner s wllng to pay a low prce. Let v denote the valuaton,.e., the prvate value, of mner of the edge computng resource unt. Then, v of mner can be expressed as v = t c. To obtan the largest revenue gan as well as to guarantee that the edge computng resource unt s allocated to the mner whch values the resource unt most, the resource allocaton can be modeled as a sngle-tem aucton. In the aucton, the mners are bdders,.e., the buyers, and the ECSP s the auctoneer,.e., the seller. Mner submts prce b as a bd that the mner s wllng to pay the ECSP. Based on the bd profle b = (b,..., b N ) from all the mners, the ECSP determnes the wnnng mner for the edge computng unt and the correspondng prce that the wnner needs to pay. The ECSP can employ tradtonal sngle-tem auctons such as the frstprce aucton and Second-Prce Aucton (SPA) to determne the prce for the wnnng mner. However, none of them s an optmal aucton. Specfcally, the frst-prce aucton guarantees the revenue gan for the ECSP, but cannot ensure the IC. That s, the mners have ncentve to submt untruthfully ther bds so as to mprove ther utlty u = v b, =,..., N. The SPA can hold the IC, but the revenue mprovement for the ECSP s not guaranteed. Therefore, the ECSP needs to solve the problem of optmal sngle-tem aucton. More specfcally, the ECSP needs to determne the wnner and the correspondng payment so as to maxmze the ECSP s revenue,.e., the payment receved from the wnner, whle guaranteeng the DSIC and IR. A mechansm s DSIC f the utlty of each mner s maxmzed by submttng truthfully ts bd regardless of the other mners actons. The IR s to guarantee that the mners have nonnegatve utlty for partcpatng n the aucton. The desgn of such an exactly optmal aucton s stll open. Therefore, we desgn the optmal sngle-tem aucton usng deep learnng for the resource allocaton whch s presented n the next secton. IV. OPTIMAL AUCTION USING DEEP LEARNING In ths secton, we ntroduce a neural network archtecture for the sngle-tem aucton as presented n Secton III. The neural network archtecture s found n [2] whch mplements allocaton and payment rules for the ECSP and guarantees that any aucton mechansm learned by the network wll be the optmal aucton. Agan, the optmal aucton s n terms of maxmzng revenue of the ECSP and ensurng the DSIC and IR. The learned mechansm s expected to provde precse ft to the optmal aucton desgn, and thus we leverage the monotone transform functons, denoted as φ, =,..., N, from [7] to determne the allocaton and payment rules of the neural network archtecture. As presented n [7], nput bds b, =,..., N, of mners are frst transformed to b = φ (b ), =,..., N. Then, the SPA wth zero reserve prce (SPA-) s used on the transformed bds b to determne the allocaton and condtonal payment rules for the mners. Here, the reserve prce refers to the lowest prce whch s acceptable by the ECSP for the resource unt. Let p (b) and g (b) denote the SPA- allocaton rule and the SPA- payment rule for mner, respectvely. Then, we have the followng theorem. Theorem ( [7]).For any set of strctly monotoncally ncreasng functons φ,..., φ N : R R, an aucton whch s defned by allocaton rule g = g φ and condtonal payment rule p = φ p s DSIC and IR. Theorem means that f we construct a mechansm wth allocaton and condtonal payment rules,.e., g and p, then the mechansm satsfes the necessary and suffcent condtons for DSIC and IR for any choce of strctly monotone transform functons [2]. Ths s the reason that we use Theorem to constran our neural network archtecture to learn the aucton. As such, the aucton learned by the neural network wll be DSIC and IR. However, nstead of specfyng the precse functonal form of the transform functons, the neural network learns the approprate transform functons to mnmze a loss functon,.e., the expected, negated revenue of the ECSP, whch s equvalent to maxmzng the expected revenue of the ECSP. The neural network archtecture s shown n Fg. 3(a) wth multple layers to perform () the monotone transform functons φ, () the allocaton rule g, and () the condtonal payment rule p. The algorthm for mplementng these steps are gven n Algorthm, and the further detals are descrbed n the followng. Algorthm DL-based Aucton Algorthm Input: N, S, J, K, κ, f T (t), f C (c), v s = (v, s..., vn s ), vs N+ ; Output: Assgnment probabltes (g,..., g N ) and condtonal payments (p,..., p N ); : Intalze: w = [wkj ] RN JK >, β = [βkj ] RN JK ; 2: 3: repeat 4: Compute v s = φ (v s) = mn max k K j J (w kj vs + β kj ); 5: Compute g = softmax (v s,..., v s N, vs N+ ; κ) = e κv ; N+ j= eκv j 6: Compute p = ReLU{max j vs j}; 7: Compute p = φ (p ) = max mn k K j J (w kj ) (p βkj ); 8: Compute the loss functon ˆR(w, β) = N (v s )p (w,β) (v s ); = g(w,β) 9: Update (w, β) usng the SGD solver. : untl The loss functon ˆR(w, β) mnmzes

4 b b 2 b N 2 N b (a) g p g g 2 g N p p 2 p N p 2 p2 N pn b w w J w K w KJ KJ Group h h J J K h K h KJ Group K Fg. 2: Illustraton of (a) neural network archtecture and (b) monotone transformaton φ, where h kj (b ) = w kj b + β kj. b (a) Softmax Softmax Softmax g g 2 g N b (b) (b) max max ReLU ReLU ReLU Fg. 3: Illustraton of (a) allocaton rule g and (b) SPA- payment rule p. A. Monotone Transform Functons Transform functon φ s used to map nput bd b of mner to ts transformed bd b. We model each φ as a two-layer feed forward network wth mn and max operators over lnear functons as shown n Fg. 3(b). Here, we use K groups of J lnear functons h kj (b ) = wkj b + βkj, where k =,..., K, j =,..., J, wkj R > and βkj are the weghts and bas, respectvely. Then, the transform functon φ s defned as follows: φ (b ) = mn k=,...,k mn p p 2 p N max j=,...,j (w kjb + βkj). () In fact, the nverse transform φ can be drectly deduced from the parameters for the forward transform as follows: φ (y) = max k=,...,k mn j=,...,j (w kj) (y βkj). (2) Such a neural network s smlar to a general autoencoder neural network whch conssts of two parts [2],.e., the encoder and the decoder. The encoder performs transformatons of the nput bds to a dfferent representaton through usng () and the decoder nverts the transform through usng (2). b B. Allocaton Rule The allocaton rule s based on the SPA- allocaton. Specfcally, t assgns the computng resource unt of the ECSP to the mner wth the hghest transformed bd f ths transformed bd s greater than zero, and leaves the computng resource unt unassgned otherwse. In our work, as llustrated n Fg. 3(a), the allocaton rule maps the transformed bds b = (b,..., b N ),.e., the nput, to a vector of assgnment probabltes g = (g,..., g N ),.e., the output. Snce there s a competton among the mners, the allocaton rule can be approxmated by usng a softmax functon on the transformed bds b = (b,..., b N ) and an addtonal dummy nput b N+ = as follows: e κb g (b) = softmax (b,..., b N+ ; κ) = N+, N, j= eκbj (3) where κ > s the parameter whch determnes the qualty of the approxmaton [2]. The hgher value of κ ncreases the accuracy of the approxmaton. However, the allocaton functon may be dscontnuous and less smooth whch becomes harder to optmze. C. Condtonal Payment Rule The condtonal payment rule sets prce p to mner gven that the mner s the wnner. The condtonal payment s mplemented by two steps. The frst step calculates SPA- payment p to the mners as shown n Fg. 3(b), and the second step determnes condtonal payment p by usng Theorem. Specfcally, the SPA- payment p to mner s the maxmum of the transformed bds from the other mners and zero. Thus t can be determned usng a ReLU actvaton unt as follows: p (b) = ReLU(max j b j), N, (4) where ReLU(z) = max(z, ) s an actvaton functon whch ensures that the SPA- payment s non-negatve. The condtonal payment to mner s then calculated as p = φ p (b) = φ (p (b)), where φ (y) s determned accordng to (2). In summary, the allocaton rule can be seen as a feedforward network ncludng () a layer of lnear functons, () a layer of max-mn operatons, and () a layer of softmax actvaton functons. The condtonal payment rule whch has more layers because of usng addtonal nverse transforms can be seen as a network consstng of () a layer of lnear functons, () a layer of max-mn operatons, () a layer of ReLU actvaton functons, (v) a layer of lnear functons, and (v) a layer of mn-max operatons. D. Neural Network Tranng The objectve of the tranng s to optmze weghts and bas of a neural network so as to mnmze a loss functon that s defned on the nputs and outputs of the network. In our work, the weghts and the bas are w kj and β kj,

5 where =,..., N, j =,..., J, and k =,..., K, the loss functon s defned as the expected, negated revenue functon ˆR of the ECSP, and the nput,.e., the tranng data or tranng set, conssts of bdder valuaton profles of the mners. In partcular, the bdder valuaton profles of the mners are sampled ndependently and dentcally dstrbuted from a known dstrbuton functon. Generatng the bdder valuaton profles s descrbed as follows. Let v s = (v, s..., vn s ) denote bdder valuaton profle s of the mners, where s =,..., S, S s the sze of the tranng data, and v s s the valuaton,.e., the prvate value, of mner on the resource computng unt whch s drawn from a dstrbuton f V (v). As mentoned n Secton III, v s of mner can be expressed through ts block sze t and ts ntal computng capacty c,.e., v s = t /c. Thus, the dstrbuton f V (v) can be determned based on the dstrbuton of t, denoted as f T (t), and that of c, denoted by f C (c). The dstrbutons f T (t) and f C (c) are avalable, e.g., based on the prevous observatons. Assume that varables t and c are ndependent from each other and follow unform dstrbutons [3],.e., t U[t mn ; t max ] and c U[c mn ; c max ], c mn >. Then, f V (v) s determned as follows. Let z = c, v = t/c, and we have t = vz and c = z. Gven the settng, the Jacoban determnant J D among t, c, v and z s gven by t t J D = v z c c = z v = z. (5) v z The Probablty Densty Functon (PDF) for the jont dstrbuton (v, z) s gven by f V,Z (v, z) =f T (v, z)f C (z) J D = z. (6) (t max t mn )(c max c mn ) The dstrbuton of v,.e., f V (v), s determned by f V (v) = = + cmax f V,Z (v, z)dz c mn (t max t mn )(c max c mn ) = c mn + c max 2(t max t mn ), z dz (7) where v s wthn [t mn /c max ; t max /c mn ]. Let g (w,β) (v s ) and p (w,β) (v s ) denote the assgnment probablty and condtonal payment of mner, respectvely. w and β are the matrces contanng weghts wkj and bas β kj, =,..., N, j =,..., J, and k =,..., K, respectvely. The objectve s to fnd parameters (w, β ) to mnmze the expected, negated revenue functon of the ECSP as the loss functon: ˆR(w, β) = N = g (w,β) (v s )p (w,β) (v s ). (8) We optmze the loss functon ˆR(w, β) n (8) over parameters (w, β) usng a Stochastc Gradent Descent (SGD) solver. The mplementaton detals are gven n Secton V. V. PERFORMANCE EVALUATION In ths secton, we present expermental results to demonstrate that deep learnng can be used to mprove the revenue for the ECSP n the moble blockchan network. For comparson, the proposed scheme s named Deep Learnng (DL)-based aucton. The SPA [4] s used as a baselne scheme. The DL-based aucton s mplemented by usng the TensorFlow deep learnng lbrary. The smulaton parameters are shown n Table I. Note that the L 2 regularzaton s used n the tranng step to ensure that the weght parameters are bounded. Also, the tranng set has valuaton profles v s = (v s,..., v s N ), and samples t and c are chosen from dstrbutons f T (t) and f C (c), respectvely. TABLE I: Smulaton parameters Parameters Values Number of mners (N), 5, and 2 Learnng rate. Regularzaton parameter (L 2 ). Tranng set sze (S) valuaton profles Number of groups (K) 5 Number of lnear functons (J) Number of teratons 4 Approxmate qualty κ and 2 Dstrbuton of sze of block f T (t) U[; ] Dstrbuton of ntal capacty f C (c) U[.2;.5], U[.4;.7] To evaluate the performance of the DL-based aucton, we consder dfferent scenaros by varyng the number of mners N, the dstrbuton of ntal capacty c of the mners, and the parameter of approxmate qualty κ. Here, we consder the moble blockchan network wth the number of mners of, 5, and 2. The smulaton results for the revenue versus the number of teratons are provded n Fgs. 4, 5, 6, and 7, and those of wnnng probablty of the mners versus ther ntal capacty are shown n Fg. 8. Note that the baselne scheme s represented by the black and cyan lnes. It can be seen from Fgs. 4, 5, and 6 that the DL-based aucton converges quckly to the soluton whch s on a par wth the other schemes. Also, for a gven number of mners and dstrbuton of ntal capacty, the revenue obtaned by the DL-based aucton s sgnfcantly hgher than that obtaned by the SPA. For example, for N = 5 and c U[.2;.5], the revenue obtaned by the SPA s whle that obtaned by the DL-based aucton s 3.46 wth κ =. The revenue mprovement s clearly acheved n the other scenaros,.e., Fgs. 5 and 6, whch confrms the beneft and effectveness of the proposed scheme. We next evaluate the mpacts of the number of mners on the revenue of the ECSP. From Fg. 7, we fnd that gven the dstrbuton c U[.2;.5] and κ =, the revenue of the ECSP ncreases wth the ncrease of the number of mners. Ths s due to the fact that havng more mners wll ntensfy the competton, whch potentally motvates them to

6 Revenue Revenue Revenue Revenue pay hgher servce prces. As a result, the revenue of the ECSP ncreases. Then, we examne the mpact of dstrbuton ranges of ntal capacty c of mners on the revenue of the ECSP. Consder the case of mners, t s observed from Fg. 5 that as c s wthn the small range,.e., c U[.2;.5], the expected revenue of the ECSP ncreases compared wth the large range,.e., c U[.4;.7]. The reason s that the submtted prces,.e., the bds, of mners are nversely proportonal to the ntal capacty. Therefore, gven the fxed dstrbuton of the szes of blocks, the submtted prces are hgher wth the low ntal capacty whch n turn mproves the expected revenue of the ECSP. Further, we consder the mpact of the parameter κ on the expected revenue of the ECSP. As mentoned n Secton IV, κ s ntroduced to the softmax functon for the wnner determnaton. In general, the large value of κ results n a more correct decson made by the wnner. However, t makes the optmzaton harder and more complex to solve [2]. Ths may result n reducng the expected revenue of the ECSP. Indeed, as shown n Fg. 4, for c U[.2;.5] and N =, the expected revenues of the ECSP obtaned from the DL-based aucton are and 2.68 for κ = and κ = 2, respectvely. At last, t s mportant to consder the mpact of ntal capacty c of the mners on ts wnnng probablty. Wthout loss of generalty, we consder wnnng probablty of mner as ts ntal capacty c s vared from.5 to.5 and the ntal capacty of other mners s c U[.2;.5], = 2,..., N. Wth mners,.e., N =, as shown n Fg. 8, the wnnng probablty of mner decreases as ts ntal capacty c ncreases. Ths s due to the fact that the mner s submtted prce decreases. As seen, when the number of mners ncreases, e.g., N = 5 and N = 2, the wnnng probablty of mner further decreases because of more compettve mners DL-based aucton (5 =,c ~U[.2;.5]) DL-based aucton (5 =2, c ~U[.2;.5]) SPA (c ~U[.2;.5]) DL-based aucton (5 =, c ~U[.4;.7]) DL-based aucton (5 =2, c ~U[.4;.7]) SPA (c ~U[.4;.7]) No. of teratons Fg. 4: Test revenue for mners. VI. CONCLUSIONS In ths paper, we have developed an optmal aucton based on deep learnng for the edge resource allocaton n moble DL-based aucton (5 =,c ~U[.2;.5]) DL-based aucton (5 =2, c ~U[.2;.5]) SPA (c ~U[.2;.5]) DL-based aucton (5 =, c ~U[.4;.7]) DL-based aucton (5 =2, c ~U[.4;.7]) SPA (c ~U[.4;.7]) No. of teratons Fg. 5: Test revenue for 5 mners. DL-based aucton (5 =,c ~U[.2;.5]) DL-based aucton (5 =2, c ~U[.2;.5]) SPA (c ~U[.2;.5]) DL-based aucton (5 =, c ~U[.4;.7]) DL-based aucton (5 =2, c ~U[.4;.7]) SPA (c ~U[.4;.7]) No. of teratons Fg. 6: Test revenue for 2 mners. DL-based aucton (N = ) DL-based aucton (N = 5) DL-based aucton (N = 2) No. of teratons Fg. 7: Test revenue for c U[.2;.5] and κ =. blockchan networks. Specfcally, we have constructed a neural network archtecture based on an analytcal soluton. We have desgned the data tranng for the neural networks by usng the valuatons of the mners. Based on the tranng data, we have traned the neural networks by adjustng parameters so as to optmze the expected, negated revenue of the ECSP. As llustrated n the smulaton results, the proposed scheme

7 Wnnng probablty DL-based aucton (N =) DL-based aucton (N =5) DL-based aucton (N =2) Intal capacty (c ) Fg. 8: Wnnng probablty of mner versus ntal capacty. can quckly converge to a soluton at whch the revenue of the ECSP s sgnfcantly hgher than that obtaned by the baselne scheme. For the future work, a general scenaro wth multple edge computng resource unts should be consdered. Also, how to construct the neural network archtecture for an optmal aucton wthout usng the characterzaton results of the analytcal soluton needs to be nvestgated. REFERENCES [] (28) Btcon: A peer-to-peer electronc cash system. [Onlne]. Avalable: [2] J. Kang, R. Yu, X. Huang, S. Maharjan, Y. Zhang, and E. Hossan, Enablng localzed peer-to-peer electrcty tradng among plug-n hybrd electrc vehcles usng consortum blockchans, IEEE Transactons on Industral Informatcs, to apppear. [3] Y. Guo and C. Lang, Blockchan applcaton and outlook n the bankng ndustry, Fnancal Innovaton, vol. 2, no., p. 24, Dec. 26. [4] Y. Jao, P. Wang, D. Nyato, and Z. Xong, Strategy-proof aucton n edge computng resource allocaton for moble blockchan, submtted. [5] Z. Xong, S. Feng, D. Nyato, P. Wang, and Z. Han, Optmal prcngbased edge computng resource management n moble blockchan, submtted. [6] K. Hornk, Approxmaton capabltes of multlayer feedforward networks, Neural networks, vol. 4, no. 2, pp , 99. [7] R. B. Myerson, Optmal aucton desgn, Mathematcs of operatons research, vol. 6, no., pp , Feb. 98. [8] J. A. Kroll, I. C. Davey, and E. W. Felten, The economcs of btcon mnng, or btcon n the presence of adversares, n Proceedngs of WEIS, Washngton, DC, Jun. 23. [9] N. Houy, The btcon mnng game, Browser Download Ths Paper, 24. [] Y. Lewenberg, Y. Bachrach, Y. Sompolnsky, A. Zohar, and J. S. Rosenschen, Btcon mnng pools: A cooperatve game theoretc analyss, n Internatonal Conference on Autonomous Agents and Multagent Systems. Istanbul, Turkey: Internatonal Foundaton for Autonomous Agents and Multagent Systems, May 25, pp [] M. Plkngton. (25) Blockchan technology: prncples and applcatons. [Onlne]. Avalable: halshs-2325 [2] P. Düttng, Z. Feng, H. Narasmhan, and D. C. Parkes, Optmal auctons through deep learnng, arxv preprnt arxv: , 27. [3] S. Maghsud and E. Hossan, Dstrbuted downlnk user assocaton n small cell networks wth energy harvestng, n IEEE ICC, Kuala Lumpur, Malaysa, May 26, pp. 6. [4] W. Vckrey, Counterspeculaton, auctons, and compettve sealed tenders, The Journal of fnance, vol. 6, no., pp. 8 37, Mar. 96.