Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
In 2022 a consortium of companies ran an international competition, called the ZPrize , to advance the state of the art in “zero-knowledge” cryptography. We decided to have a go in our free time at…
Read the full articleYou might also wanna read
Sublinear-Space ZKP System in Rust: Streaming Prover with O(√T) Memory via KZG Commitments
Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and
github.com·9mo ago
Researchers build million-p-bit probabilistic computer by networking FPGAs, breaking single-chip limit
Probabilistic computers built from p-bits have been proposed as hardware accelerators for sampling and optimizing Ising models, but existing
arxiv.org·12d ago
Jan Schaumann: "Remember back in March when Google published a ZK…" - Mastodon 🐘
Remember back in March when Google published a ZKP of 10x improved quantum attacks on elliptic curve cryptosystems? Somebody followed the cl
mstdn.social·1mo ago
Optimizing Substring Search in Zig with SIMD for 60% Faster Performance
I’ve been learning a lot about low-level programming languages lately, and for a long time there has been one thing that has interested me:
aarol.dev·11mo agoFPGA Based IBM-PC-XT
Article URL: Comments URL: Points: 15 # Comments: 1
Software Platform for LFSR-Mersenne Twister Pseudo-Random Sequence Generation and Predictability Analysis
Developed software demonstrating classical PRNGs (LFSR, MT) are structurally predictable and hackable, while quantum random sequences remain
Comments
Sign in to join the conversation.
No comments yet. Be the first.