fat.bsky.social
my emo journal of epistemeulogy
👤 Joined on 11 April 2023
Followers
Following
Total Posts
@fat.bsky.socialOur paper "Beyond the Circuit" was accepted at IACR's Communications in Cryptology! It contains a few simple protocols for simplifying foreign arithmetic in zero-knowledge proofs. Formally we introduce "Σ-reductions", a mix of "Σ-protocols" and "reductions of knowledge". 🗞️ cic.iacr.org/p/2/1/23/pdf
Show Post