Skip to main content
Ethereum
yhirai's user avatar
yhirai's user avatar
yhirai's user avatar
yhirai
  • Member for 8 years, 11 months
  • Last seen more than 4 years ago
  • Tsukuba-shi, Japan
Profile Activity
Stats
345
reputation
7k
reached
4
answers
3
questions
Communities
View all
Badges
1
gold badge
2
silver badges
6
bronze badges
Top tags
View all tags
16
Score
4
Posts
57
Posts %
9
Score
1
Posts
14
Posts %
9
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
1
Score
1
Posts
14
Posts %
Top posts
answer
9
What is formal verification, and why is it important for smart contracts?
Jan 4, 2017
answer
3
Can Two Contracts Import Each Other?
Nov 15, 2016
answer
3
Why a contract with only one variable produces lots of EVM code?
Dec 27, 2016
question
2
Why doesn't Raiden release channel capacity immediately when routing fails?
Sep 4, 2019
question
2
Does the Raiden client ever deploy TokenNetworkRegistry?
Sep 9, 2019
question
1
In Raiden's source, why is a result of state transition called "iteration"?
Sep 9, 2019
answer
1
Where can I see the output of Solidity's sha3 function?
Nov 15, 2016
Top network posts
View all network posts
18
Is there a reasonable automated proof system for TCS theorems?
15
How to define a function inductively on two arguments in Coq?
15
What is the theoretical basis of imperative programming?
15
The many ways to write {かっこいい}
13
Proof assistant for writing mathematics