#zksnark — Public Fediverse posts

📬 Zcash vs. Monero: Perfekte Kryptografie oder Privacy by Default?
#Blockchain #Krypto #Firo #Grin #Mimblewimble #Monero #PrivacyCoins #Zcash #zkSNARK https://sc.tarnkappe.info/c1ffec

📬 Zcash vs. Monero: Perfekte Kryptografie oder Privacy by Default?
#Blockchain #Krypto #Firo #Grin #Mimblewimble #Monero #PrivacyCoins #Zcash #zkSNARK https://sc.tarnkappe.info/c1ffec

LURK: Lambda, The Ultimate Recursive Knowledge

"We introduce Lurk, a new #LISP-based programming language for #zkSNARK. Traditional approaches to programming over zero-knowledge proofs require compiling the desired computation into a flat circuit, imposing serious constraints on the size and complexity of computations that can be achieved in practice. #Lurk programs are instead provided as data to the universal Lurk interpreter circuit, allowing the resulting language to be Turing-complete without compromising the size of the resulting proof artifacts. Our work describes the design and theory behind Lurk, along with detailing how its implementation of content addressing can be used to sidestep many of the usual concerns of programming #ZeroKnowledge proofs"

NADA AMIN, JOHN BURNHAM, FRANÇOIS GARILLOT, ROSARIO GENNARO, CHHI’MÈD KÜNZANG, DANIEL ROGOZIN, CAMERON WONG 2023

https://research.protocol.ai/publications/lurk-lambda-the-ultimate-recursive-knowledge/amin2023.pdf

with an implementation in #rust

Today we release zekrom, a library of #zkSNARK-oriented constructions. This was a project that Laurent Thoeny worked on for his master’s thesis. Read the post and download the code here: https://research.kudelskisecurity.com/2023/05/30/presenting-zekrom-a-library-of-arithmetization-oriented-constructions-for-zksnark-circuits-part-1-arkworks-rs/

Today we release zekrom, a library of #zkSNARK-oriented constructions. This was a project that Laurent Thoeny worked on for his master’s thesis. Read the post and download the code here: https://research.kudelskisecurity.com/2023/05/30/presenting-zekrom-a-library-of-arithmetization-oriented-constructions-for-zksnark-circuits-part-1-arkworks-rs/