Register and share your invite link to earn from video plays and referrals.

Edgars Nemše
@EdgarsNemse
Co-founder of @GenLayer
2.3K Following    1.2K Followers
a test suite can pass forever without being able to catch a single bug. that's why, at @GenLayer, we test the tests too. part 2 of making GenLayer 100% secure: five interlocking layers of testing, from ordinary unit tests to machine-checked proofs
Show more
can we make @GenLayer 100% secure? not literally. but we can get as close as possible - and the first layer of defense is the architecture itself: designing the system to make entire classes of bugs impossible i wrote about how the genlayer consensus contracts, validator node, and genvm fit together; how we isolate LLM calls and web requests while keeping the rest of contract execution deterministic; and how that lets us do things like run a full cpython interpreter onchain inside a WASM sandbox this is part 1 of a series on how we make genlayer as secure as we possibly can. in future posts, i’ll get into the testing and validation layers we add on top - including what we’ve learned about using AI agents to design better tests, rather than just vaguely hunt for bugs
Show more