Skip to content

Cryptic News

Generate All the Things

2021-11-07 by Aleksey Kladov - (0 min read)

How to write software than will keep working for decades without problems

Halo and more: exploring incremental verification and SNARKs without pairings