Zellic
@zellic_io
Followers
16K
Following
651
Media
418
Statuses
2K
Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
Joined November 2021
Want to learn deep Web3 security knowledge written by the best hackers in the world?. Here's a Twitter thread of interesting Twitter threads the Zellic team has written! šš§µ.
24
145
372
RT @domaprotocol: Security isnāt a checkbox. Itās the foundation š. We partnered with @zellic_io, the elite audit firm trusted by @solana aā¦.
0
22
0
We're excited to share that Zellic Lead Security Researcher Nan Wang was recognized as the 7th ranked Most Valuable Researcher under the Microsoft Researcher Recognition Program!. Congrats @eternalsakura13!.
The Microsoft Researcher Recognition Program offers public thanks and recognition to security researchers who help protect our customers by discovering and sharing security vulnerabilities under Coordinated Vulnerability Disclosure. Today, we are excited to recognize this yearās
3
3
103
ZK protocols use special hash functions that are algebraically simple. But if our proof system supported lookup tables, could we do better?. Introducing Polocolo: a new ZK-friendly hash function for PlonKup, co-authored by Zellic Cryptographer @baaaaaarkingdog.
0
0
0
RT @aori_io: Aori has completed our second security audit with Zellic. Building omnichain infrastructure means getting security right fromā¦.
0
8
0
For a detailed look at PLONK, PlonKup, and the design motivation behind Polocolo, check out the full blog post below:
zellic.io
A look into Polocolo, a newly designed ZK-friendly hash function
0
0
6
Polocolo was designed by Zellic Cryptographer @baaaaaarkingdog, a member of the KAIST CryptLab, along with fellow researchers from the same lab. In Part 2, weāll introduce the detailed specifications and cryptanalysis of Polocolo, along with a performance comparison with other.
1
0
3
The power residue method efficiently applies lookup tables to Fp elements for a large prime: p(ā2^256). The S-box built using the power residue method is of a high degree that requires only 14 PLONK gates, which is significantly fewer than the 94 gates required for the Bar.
1
0
2
To address the high cost in the Bars layer, an alternative approach was proposed, dubbed the power residue method. Polocolo is a lookup-based ZK-friendly hash function with a different design rationale. The name Polocolo derives from power residue for lower cost table lookup.
1
0
3
Reinforced Concrete is the first lookup-based ZK-friendly hash function, which consists of Bricks, Concrete, and Bars layers (this is where lookup tables are used). However, a key drawback is the high cost of evaluating the Bars layer in a ZK setting. Out of the 15 layers in.
1
0
3
If the ZK proof system only allows addition and multiplicative gates, operations that cannot be represented algebraically simply require a large number of constraints. But if the ZK proof system supports lookup gates, the required number of gates is dramatically reduced. So the
1
0
3
In ZK-friendly hash functions, the functions are algebraically simple for efficiency. So an attack against a ZK-friendly hash function focuses on the constrained-input constrained-output (CICO) problem, as solving the system of equations is usually the most effective attack
1
0
3
Weāve covered ZK-friendly hash functions and algebraic attacks against them in previous posts, so if you need a refresher, check out āZK-Friendly Hash Functionsā and āAlgebraic Attacks on ZK-Friendly Hash Functionsā on our Research page:
zellic.io
Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
1
0
3
ZK protocols use special hash functions that are algebraically simple. But if our proof system supported lookup tables, could we do better?. Introducing Polocolo: a new ZK-friendly hash function for PlonKup, co-authored by Zellic Cryptographer @baaaaaarkingdog.
6
10
74
Zellic is proud to be a sponsor of the @HyperliquidX Community Hackathon!.
Announcing the Hyperliquid Community Hackathon. A 4-week, global online event to build the future of finance. š° Over $160,000 in prizes.ā Powered by 35+ Hyperliquid aligned sponsors.š
Registration opens July 28.More details to come. Follow for updates. Hyperliquid
0
0
9
RT @l3akctf: L3akCTF 2025 is going strong, with only 24 hours remaining! We're honored to have @zellic_io as one of our returning sponsorsā¦.
0
3
0
RT @0x158_: 1/7.[07-07-25].- Read this amazing blog by š«”@zellic_io - 4 hours of Audit.- studying GMX perps on @Cyfā¦.
zellic.io
A look into the Move binary format, Move assembly, and our tool that makes writing Move assembly easier.
0
7
0
RT @LukeAlwaysAwake: So. @zellic_io audited @MitosisOrg so you can rest assured it is safe from day one. Be safe.
0
40
0
RT @MaslarovK: You can't be a good Move auditor without understanding how both Aptos and Sui work as they are the two main blockchains adopā¦.
0
2
0
RT @qtipbera: I'd like to see more competition in the audit contest space. When competitors hold each other honest in the market in good faā¦.
0
2
0
BLS signatures are everywhere, from Ethereumās consensus to EigenLayer. But itās easy to use them wrong. What are BLS signatures? Letās talk about the right way and the wrong way to use them:
1
0
2