Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

8.1K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0

#zeroknowledgeproofs

1 post1 participant0 posts today
BGDon

Vitalik Buterin suggests that Ethereum
will be ready for the on slot of quantum computing suggesting a quantum machine could break blockchain cryptography between 2030 and 2035. The Ethereum Foundation is working to integrate zkEVM ( Zero-Knowledge Ethereum Virtual Machine) within layer 1, within twelve months.

cointribune.com/en/vitalik-but #Crypto #Ethereum #Buterin #CryptoSecurity #QuantumComputing #ETH #ZeroKnowledgeProofs #zkp

Technische Universität München

Researchers, including Jens Ernstberger and Sebastian Steinhorst, developed a method to cryptographically prove location without revealing it, using #ZeroKnowledgeProofs with standardized floating-point numbers: go.tum.de/784017

#IoT #EmbeddedSystems #DataProtection

📷A.Heddergott

go.tum.deHexagons for data protectionResearchers at TUM have developed a method that makes it possible to cryptographically prove one's location - without revealing it.
Continued thread
Frederic Jacobs

> We present LatticeFold+, a very different lattice-based folding protocol that improves on LatticeFold in every respect: the prover is five to ten times faster, the verification circuit is simpler, and the folding proofs are shorter

eprint.iacr.org/2025/247

IACR Cryptology ePrint Archive · LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof SystemsFolding is a technique for building efficient succinct proof systems. Many existing folding protocols rely on the discrete-log based Pedersen commitment scheme, and are therefore not post-quantum secure and require a large (256-bit) field. Recently, Boneh and Chen constructed LatticeFold, a folding protocol using lattice-based commitments which is plausibly post-quantum secure and can operate with small (64-bit) fields. For knowledge soundness, LatticeFold requires the prover to provide a range proof on all the input witnesses using bit-decomposition, and this slows down the prover. In this work we present LatticeFold+, a very different lattice-based folding protocol that improves on LatticeFold in every respect: the prover is five to ten times faster, the verification circuit is simpler, and the folding proofs are shorter. To do so we develop two novel lattice techniques. First, we develop a new purely algebraic range proof which is much more efficient than the one in LatticeFold, and may be of independent interest. We further shrink the proof using double commitments (commitments of commitments). Second, we show how to fold statements about double commitments using a new sumcheck-based transformation.
#PQC#ZeroKnowledgeProofs#ZKPs
Frederic Jacobs

Recursive SNARKs go post-quantum:
“we present LatticeFold, the first lattice-based folding protocol based on the Module SIS problem. This folding protocol naturally leads to an efficient recursive lattice-based SNARK.”

LatticeFold supports low-degree relations (R1CS) as well as high-degree relations (CCS) and is considered as performant as Hypernova but with post-quantum security.

eprint.iacr.org/2024/257

eprint.iacr.orgLatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems
#PQC#ZeroKnowledgeProofs#ZKPs
TrendingLive feeds
About