zk9: lurk: lambda the ultimate recursive knowledge - françois garillot (protocol|lurk labs)
Published 1 year ago • 696 plays • Length 30:12Download video MP4
Download video MP3
Similar videos
-
![[icfp'23] lurk: lambda, the ultimate recursive knowledge (experience report)](https://i.ytimg.com/vi/rkwCM2LAbXs/mqdefault.jpg)
30:51
[icfp'23] lurk: lambda, the ultimate recursive knowledge (experience report)
-
1:04:24
episode 281 - exploring lurk: a new language for recursive zk-snarks
-
11:32
zk9: zktree a zk recursion tree with zkp membership proofs – sai deng (polymer labs)
-
30:58
zk9: exploring client-side zero-knowledge proofs - dan tehrani (personae labs)
-
26:27
zk9: building an fhe compiler for the real world - ravital solomon and rick weber (sunscreen)
-
28:35
zk9: fuzzy knowledge fuzzing snark circuit primitives – innokentii sennovskii (aztec network)
-
1:04:27
episode 333 - verifiable sql, reckle trees and zk coprocessing with lagrange labs
-
11:46
zk11: make lurk work - chhi'mèd künzang
-
31:31
zk9: logup - lookup arguments based on the logarithmic derivative - ulrich haböck
-
27:17
zk9: linting halo2 circuits - jan gorzny (quantstamp)
-
31:08
zk10: lurk: from zkdsls to zkgpls - john burnham