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