Bitcoin Forum
August 14, 2022, 09:47:00 AM *
News: Latest Bitcoin Core release: 23.0 [Torrent]
   Home   Help Search Login Register More  
Pages: [1]
Author Topic: Some links about zero-knowledge proofs and SNARKs  (Read 899 times)
Offline Offline

Activity: 12
Merit: 3

View Profile
October 05, 2015, 02:07:10 PM
Last edit: October 05, 2015, 02:26:39 PM by kanzure

Originally sent this content as an email about SNARKs to pmetzger's cryptography mailing list, included here for safekeeping and dissemination.

SNARKs in general:

Typed presentations on the topic:
.. last one has good video,

Some history of probabilistically checkable proofs (PCPs):

Quadratic arithmetic/span programs (non-interactive zero-knowledge proofs without probabilistically checkable proofs) (GGPR):

Recently I gave a presentation with a very high level and general overview of ways to (ab)use SNARKs for bitcoin scalability reasons:
(start at page 43)

Some discussion about which CPU architecture to use for a SNARKs prover, whether to use RISC-V or moxie or some other CPU design:

Still no word on SNARKs with trustless setup.
Pages: [1]
Jump to:  

Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!