asymptotic-code.github.io/index.html at main · asymptotic-code/asymptotic-code.github.io · GitHub

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
<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Asymptotic Security Audits</title>
    <link href="https://cdnjs.cloudflare.com/ajax/libs/tailwindcss/2.2.19/tailwind.min.css" rel="stylesheet">
    <link rel="icon" type="image/png" href="/favicon.png">
    <link rel="apple-touch-icon" href="/apple-touch-icon.png">
    <style>
        .bg-logo-color {
            background-color: rgb(247, 214, 183);
        }
    </style>
</head>
<body class="font-sans antialiased min-h-screen flex flex-col">
    <!-- Header -->
    <header class="bg-logo-color py-12">
        <div class="max-w-4xl mx-auto px-6">
            <img src="/logo-no-margin.jpg" alt="Fox Security Logo" class="h-20 w-20 mb-6">
            <h1 class="text-4xl font-bold text-gray-900">Asymptotic</h1>
            <p>Security Audits for the Sui Blockchain via Formal Verification</p>
        </div>
    </header>

    <!-- Services Section -->
    <section class="py-16 bg-white flex-grow">
        <div class="max-w-4xl mx-auto px-6">
            <h2 class="text-3xl font-bold text-gray-900 mb-8">Our Services</h2>
            <div class="space-y-8 text-lg text-gray-700">
                <div>
                    <h3 class="text-xl font-semibold mb-4">Comprehensive Formal Verification Audit</h3>
                    <p class="mb-6">We offer thorough formal verification audits for blockchain protocols, with expertise in the following key areas:</p>
                    <ul class="space-y-6">
                        <li class="pl-6 border-l-4 border-gray-200">
                            <h4 class="font-medium mb-2">Staking Mechanism Verification</h4>
                            <p class="text-gray-600">Rigorous verification of staking operations, C-Ratio maintenance, and reward distribution mechanisms.</p>
                        </li>
                        <li class="pl-6 border-l-4 border-gray-200">
                            <h4 class="font-medium mb-2">Access Control</h4>
                            <p class="text-gray-600">Verification of access control mechanisms and protection of critical functions.</p>
                        </li>
                        <li class="pl-6 border-l-4 border-gray-200">
                            <h4 class="font-medium mb-2">State Management</h4>
                            <p class="text-gray-600">Inspection of state transitions across market, stake, and trade states with proper resource management.</p>
                        </li>
                        <li class="pl-6 border-l-4 border-gray-200">
                            <h4 class="font-medium mb-2">Financial Security</h4>
                            <p class="text-gray-600">Analysis of debt pool integrity, liquidation mechanisms, and market dynamics.</p>
                        </li>
                    </ul>
                </div>
            </div>
        </div>
    </section>

    <!-- Contact Section -->
    <section class="py-16 bg-gray-50">
        <div class="max-w-4xl mx-auto px-6">
            <h2 class="text-3xl font-bold text-gray-900 mb-8">Contact Us</h2>
            <div class="space-y-4 text-lg">
                <p class="flex items-center text-gray-700">
                    <svg class="w-6 h-6 mr-3" fill="none" stroke="currentColor" viewBox="0 0 24 24">
                        <path stroke-linecap="round" stroke-linejoin="round" stroke-width="2" d="M3 8l7.89 5.26a2 2 0 002.22 0L21 8M5 19h14a2 2 0 002-2V7a2 2 0 00-2-2H5a2 2 0 00-2 2v10a2 2 0 002 2z"/>
                    </svg>
                    contact@asymptotic.tech
                </p>
                <p class="flex items-center text-gray-700">
                    <svg class="w-6 h-6 mr-3" fill="none" stroke="currentColor" viewBox="0 0 24 24">
                        <path stroke-linecap="round" stroke-linejoin="round" stroke-width="2" d="M12 19l9 2-9-18-9 18 9-2zm0 0v-8"/>
                    </svg>
                    <a href="tg://resolve?domain=cos_asymptotic" class="text-blue-600 hover:text-blue-800 hover:underline">@cos_asymptotic</a>
                </p>
            </div>
        </div>
    </section>
</body>
</html>