-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathabout.html
113 lines (93 loc) · 3.84 KB
/
about.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<!DOCTYPE html>
<html lang="en">
<head>
<!-- Google tag (gtag.js) -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-JT3HKW7GRY"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'G-JT3HKW7GRY');
</script>
<meta charset="utf-8" />
<meta name="generator" content="pandoc" />
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
<link rel="icon" href="resources/secbit_m.ico" />
<title>SECBIT Labs | About</title>
<link rel="stylesheet" href="resources/style.css" />
<!--[if lt IE 9]>
<script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
<![endif]-->
</head>
<body>
<nav>
<div class="left" style="float:left;text-align:left;">
<a href="https://secbit.io/">SECBIT Labs</a>
</div>
<div class="right" style="text-align:right;">
<a href="projects.html">Projects</a> |
<a href="service.html">Service</a> |
<a href="https://secbit.io/blog/" target="_blank">Blog</a> |
<a href="about.html">About</a>
</div>
</nav>
<header>
<h1 class="title">About Us</h1>
<hr />
</header>
<p align="center">
<img width="64%" src="resources/logo.png">
</p>
<p>We are SECBIT Labs. We aim to build high-confidence and
trustworthy protocol, application, and facilities on the blockchain.
We focus on the research of formal verification, practices of
zero-knowledge proofs and blockchain security. We have explored the
full formal verification for <a
href="https://github.com/sec-bit/tokenlibs-with-proofs">token smart
contracts</a> and <a
href="https://github.com/sec-bit/loopring-protocol2-verification">decentralized
exchanges</a> for the first time. We also have designed and
implemented the <a
href="https://github.com/sec-bit/zkPoD-node">zkPoD</a>, a practical
decentralized protocol for data exchange. We reported <a
href="https://github.com/sec-bit/awesome-buggy-erc20-tokens">many
buggy smart contracts</a> on Ethereum, including well-known Fomo3D
<a
href="https://sec-bit.github.io/blog/2018/08/20/last-winner-of-lastwinner/">bugs</a>
and <a
href="https://medium.com/coinmonks/how-the-winner-got-fomo3d-prize-a-detailed-explanation-b30a69b7813f">attack
vectors</a>.</p>
<h3 id="find-us-on">Find us on</h3>
<ul>
<li><a href="mailto:[email protected]">Email</a></li>
<li><a href="https://github.com/sec-bit">GitHub</a></li>
<li><a href="https://twitter.com/SECBIT_IO">Twitter</a></li>
<li><a href="https://medium.com/@SECBIT">Medium</a> and <a
href="https://medium.com/secbit-media">Medium Publication</a></li>
<li><a href="https://www.zhihu.com/org/secbit/">Zhihu</a></li>
<li><a href="https://mp.weixin.secbit.io/">Wechat/Weixin Articles
Archive</a></li>
</ul>
<footer>
<hr />
<div class="center" style="text-align:center;">
<p id="quote">Don't Trust. Verify.</p>
</div>
</footer>
<script>
// Your list of quotes
var quotes = [
"Don't Trust. Verify.",
// Add as many quotes as you like
];
// Interval in milliseconds (e.g., 5 seconds)
var interval = 5000;
// Calculate a pseudo-random index based on the current time and interval
var index = Math.floor(Date.now() / interval) % quotes.length;
// Get the quote element
var quoteElement = document.getElementById('quote');
// Set the quote text
quoteElement.textContent = quotes[index];
</script>
</body>
</html>