Skip to content

Commit 9727207

Browse files
authored
Auditors mini-refactor (#1500)
* init&finish * Update audit.adoc
1 parent 7ed2428 commit 9727207

File tree

1 file changed

+33
-42
lines changed

1 file changed

+33
-42
lines changed
Lines changed: 33 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -1,84 +1,75 @@
11
[id="audit_providers"]
22
= Auditors and security platforms
33

4-
== Auditors
4+
== ABDK
55

6-
=== Nethermind Security
6+
https://www.abdk.consulting/[ABDK^] is as a top service provider in the design and security of Web 3.0, that have conducted over 100 audit project and consulted dozens of clients.
77

8-
https://www.nethermind.io/smart-contract-audits[Nethermind Security^] is the security arm of Nethermind, providing services related to Smart Contract Audits, Formal Verification, and Real-Time Monitoring.
8+
== Beosin
99

10-
=== FuzzingLabs
10+
https://beosin.com/[Beosin^] provides one-stop blockchain security solutions for projects on Starknet including security audit, on-chain risk monitoring and alert.
1111

12-
https://fuzzinglabs.com/[FuzzingLabs^] is a blockchain security company specializing in vulnerability research and fuzzing, providing audit, training, and custom development services for Web3 and ZKP companies.
12+
== Beyond
1313

14-
=== Zellic
14+
https://beyondaudit.github.io/[Beyond^] is a dedicated blockchain security team aiming to erase unseen threats, one line of code at the time. Our auditors combine technical insight with experience to protect protocols as they evolve, delivering excellence in smart contract security.
1515

16-
https://www.zellic.io/[Zellic^] is a security research firm with deep expertise in blockchain security and cryptography, led by the best hackers in the world.
16+
== Cairo Security Clan
1717

18-
=== OtterSec
18+
https://cairosecurityclan.com/[Cairo Security Clan^] is a team of highly talented Starknet auditors united to secure the Starknet ecosystem.
1919

20-
https://osec.io/[OtterSec^] is a blockchain security company with a holistic and collaborative approach to identifying and patching critical exploits for clients before they go to market.
20+
== ChainSecurity
2121

22-
=== Beyond
22+
https://chainsecurity.com/[Chain Security^] is ChainSecurity is a flat and self-owned organization, that focus on providing the best security to the best innovators.
2323

24-
https://beyondaudit.github.io/[Beyond^] is a dedicated blockchain security team aiming to erase unseen threats, one line of code at the time. Our auditors combine technical insight with experience to protect protocols as they evolve, delivering excellence in smart contract security.
2524

26-
=== ChainSecurity
25+
== CODESPECT
2726

28-
https://chainsecurity.com/[ChainSecurity^] conducts smart contract audits since 2017 and enjoys an excellent track record having secured some of the largest DeFi protocols and Web3 projects.
27+
https://codespect.xyz/[CODESPECT^] is a security company specializing in Starknet and Ethereum audits, offering a tailored approach to each protocol’s unique security challenges.
2928

30-
=== ConsenSys
29+
== ConsenSys
3130

3231
http://consensys.net/diligence[ConsenSys^] is a leading smart contract auditing and blockchain security tooling for smart contract developers, auditors and web3 protocols.
3332

34-
=== Trail of Bits
35-
36-
Since 2012, http://www.trailofbits.com/[Trail of Bits^] has helped secure some of the world’s most targeted organizations and products, combining high-end security research, with a real-world attacker mentality to reduce risk and fortify code.
37-
38-
=== Hashlock
33+
== Extropy
3934

40-
https://hashlock.com/[Hashlock^] is the industry-leading blockchain cybersecurity and web3 security auditing firm.
35+
https://www.extropy.io/[Extropy^] provides auditing, training and development services for Web3 / ZKP companies.
4136

42-
=== ABDK
37+
== FuzzingLabs
4338

44-
https://www.abdk.consulting/[ABDK^] is aervice provider in the design and security of Web 3.0.
39+
https://fuzzinglabs.com/[FuzzingLabs^] is a blockchain security company specializing in vulnerability research and fuzzing, providing audit, training, and custom development services for Web3 and ZKP companies.
4540

46-
=== Beosin
41+
== Ginger Security
4742

48-
https://beosin.com/[Beosin^] provides one-stop blockchain security solutions for projects on Starknet including security audit, on-chain risk monitoring and alert.
43+
https://gingersec.xyz/[Ginger Security^] offer security advisory, End-to-end penetration testing, Smart contract audits, Zero-knowledge, automations, & MEV bot development.
4944

50-
=== CODESPECT
45+
== Hashlock
5146

52-
https://codespect.xyz/[CODESPECT^] is a security company specializing in Starknet and Ethereum audits, offering a tailored approach to each protocol’s unique security challenges.
47+
https://hashlock.com/[Hashlock^] is the industry-leading blockchain cybersecurity and web3 security auditing firm.
5348

54-
=== Extropy
49+
== Hypernative
5550

56-
https://www.extropy.io/[Extropy^] provides auditing, training and development services for Web3 / ZKP companies.
51+
https://www.hypernative.io/[Hypernative^] is a real time security and risk prevention platform that helps protocols, chains and asset managers detect hacks/exploits or other custom risk before they happen.
5752

58-
=== Cairo Security Clan
53+
== Nethermind Security
5954

60-
https://cairosecurityclan.com/[Cairo Security Clan^] is a team of highly talented Starknet auditors united to secure the Starknet ecosystem.
55+
https://www.nethermind.io/smart-contract-audits[Nethermind Security^] is the security arm of Nethermind, providing services related to Smart Contract Audits, Formal Verification, and Real-Time Monitoring.
6156

62-
=== Open Zeppelin
57+
== Open Zeppelin
6358

6459
https://www.openzeppelin.com/[Open Zeppelin^] is an elite team that brings together unparalleled expertise in PhD-level mathematics, cryptography, low-level EVM operations, and finance.
6560

61+
== OtterSec
6662

63+
https://osec.io/[OtterSec^] is a blockchain security company with a holistic and collaborative approach to identifying and patching critical exploits for clients before they go to market.
6764

68-
=== Chain Security
69-
70-
https://chainsecurity.com/[Chain Security^] is ChainSecurity is a flat and self-owned organization, that focus on providing the best security to the best innovators.
71-
72-
=== PeckShield
65+
== PeckShield
7366

7467
https://peckshield.com/[PeckShield^] is a blockchain security company which aims to elevate the security, privacy, and usabili
7568

76-
=== Ginger Security
69+
== Trail of Bits
7770

78-
https://gingersec.xyz/[Ginger Security^] offer security advisory, End-to-end penetration testing, Smart contract audits, Zero-knowledge, automations, & MEV bot development.
71+
http://www.trailofbits.com/[Trail of Bits^] has helped secure some of the world’s most targeted organizations and products, combining high-end security research, with a real-world attacker mentality to reduce risk and fortify code.
7972

80-
== Security platforms
73+
== Zellic
8174

82-
=== Hypernative
83-
84-
https://www.hypernative.io/[Hypernative^] is a real time security and risk prevention platform that helps protocols, chains and asset managers detect hacks/exploits or other custom risk before they happen.
75+
https://www.zellic.io/[Zellic^] is a security research firm with deep expertise in blockchain security and cryptography, led by the best hackers in the world.

0 commit comments

Comments
 (0)