Any zk-snark Prolog projects out there?

Anyone know of zk-snark or stark projects that utilize Prolog? Prolog seems ripe to use as a recursive zero-knowledge proof system.

Here’s a lisp-like one: lurk-lang · GitHub

A quick search didn’t turn up anything, but this is so niche/maybe-even-too-new, and this is the crowd that’d know.

Yours faithfully,
Damon

1 Like