Rosario Gennaro
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Cameron Wongonce
- Chhi’mèd Künzangonce
- Daniel Rogozinonce
all 6 in the filters
who talks about the same things
- Nada Amin26 talks
- Lennard Gäher7 talks
- Tal Rabin4 talks
- Ruzica Piskac9 talks
- Gilad Bracha7 talks
- Vasileios Klimis4 talks
| title | conference | date |
|---|---|---|
| LURK: Lambda, the Ultimate Recursive Knowledge | ICFP 2023 | 2023-09-04 |
Lurk is a LISP-based language plus a universal interpreter circuit that lets programs be supplied as data so zk proofs verify runs instead of flattened… | ||
| Sequential Composition of Rational Proofs | Securing Computation (Simons Institute, June 2015) | 2015-06-08 |
Defines sequential composability so honest computation remains the best long-term strategy, shows existing rational proofs fail for repeated volunteer tasks… | ||
| nothing matches | ||