Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs
(github.com/gustavo-grieco)
3 points
galapago
a year ago
discuss
2.
▲
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
(github.com/gustavo-grieco)
2 points
galapago
9 months ago
discuss
3.
▲
Quimera: LLMs based tool to discover smart contract exploits
(github.com/gustavo-grieco)
1 point
wslh
a year ago
discuss