talk-data.com

Zero knowledge proofs and SNARK systems are becoming one of the revolutionary technologies of the beginning of this century. In this workshop we will give a high-level introduction to the zero knowledge and SNARK technology stack from a software developer and IT professional perspectives with covering only slightly the deep mathematical basis. During the workshop we will implement an experimental zKRollup system in Circom on Hyperledger Besu.

Agenda:

1. A conceptual introduction to zero knowledge proofs (45 min - presentation) A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.

2. Introduction to Circom programming (45 min - labs and Hands-on) We will cover with lab exercises and hands-ons basic elements of the Circom programming language and the development flow including circuit and rank-1 constraint generation, compilation, power of tau, proving and verifying. - Break + discussion (15 min)

3. zkRollups basics (30 min - presentation) A general introduction to the conceptual elements of zero knowledge rollups.

4. Implementing a simplified zkRollup for token transfer and integrating with Hyperledger Besu or Fabric (30 min - lab and demo) During the demonstration and lab we will implement a prototype zero knowledge rollup for a simplified token transfer and integrate it with Hyperledger Besu or Fabric.

5. Conclusions and discussion (15 min + )

Workshop Leaders:

• Andras Szabolcsi: Blockchain and solution expert, co-founder at BlockBen and Natrix. Highly skilled and experienced System and Solution Architect in the financial software developing industries.
• Daniel Szego: DLT Architect

Zero knowledge proofs and SNARK systems are becoming one of the revolutionary technologies of the beginning of this century. In this workshop we will give a high-level introduction to the zero knowledge and SNARK technology stack from a software developer and IT professional perspectives with covering only slightly the deep mathematical basis. During the workshop we will implement an experimental zKRollup system in Circom on Hyperledger Besu.

Agenda:

1. A conceptual introduction to zero knowledge proofs (45 min - presentation) A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.

2. Introduction to Circom programming (45 min - labs and Hands-on) We will cover with lab exercises and hands-ons basic elements of the Circom programming language and the development flow including circuit and rank-1 constraint generation, compilation, power of tau, proving and verifying. - Break + discussion (15 min)

3. zkRollups basics (30 min - presentation) A general introduction to the conceptual elements of zero knowledge rollups.

4. Implementing a simplified zkRollup for token transfer and integrating with Hyperledger Besu or Fabric (30 min - lab and demo) During the demonstration and lab we will implement a prototype zero knowledge rollup for a simplified token transfer and integrate it with Hyperledger Besu or Fabric.

5. Conclusions and discussion (15 min + )

Workshop Leaders:

• Andras Szabolcsi: Blockchain and solution expert, co-founder at BlockBen and Natrix. Highly skilled and experienced System and Solution Architect in the financial software developing industries.
• Daniel Szego: DLT Architect

Zero knowledge proofs and SNARK systems are becoming one of the revolutionary technologies of the beginning of this century. In this workshop we will give a high-level introduction to the zero knowledge and SNARK technology stack from a software developer and IT professional perspectives with covering only slightly the deep mathematical basis. During the workshop we will implement an experimental zKRollup system in Circom on Hyperledger Besu.

Agenda:

1. A conceptual introduction to zero knowledge proofs (45 min - presentation) A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.

2. Introduction to Circom programming (45 min - labs and Hands-on) We will cover with lab exercises and hands-ons basic elements of the Circom programming language and the development flow including circuit and rank-1 constraint generation, compilation, power of tau, proving and verifying. - Break + discussion (15 min)

3. zkRollups basics (30 min - presentation) A general introduction to the conceptual elements of zero knowledge rollups.

4. Implementing a simplified zkRollup for token transfer and integrating with Hyperledger Besu or Fabric (30 min - lab and demo) During the demonstration and lab we will implement a prototype zero knowledge rollup for a simplified token transfer and integrate it with Hyperledger Besu or Fabric.

5. Conclusions and discussion (15 min + )

Workshop Leaders:

• Andras Szabolcsi: Blockchain and solution expert, co-founder at BlockBen and Natrix. Highly skilled and experienced System and Solution Architect in the financial software developing industries.
• Daniel Szego: DLT Architect

Zero knowledge proofs, STARKs and similar technologies have been recently undergoing on a cambrian explosion. Although the field is highly theoretical, tools, frameworks and especially DSL langues are about to appear that can be used by IT professionals or developers. In this meetup we will investigate the possibilities how the ZK stack can be used in blockchain application development.

Agenda:

1. Welcome to the Hyperledger Community (5 min)

2. A non-mathematical introduction to the basic ZK concepts (25 min)

- prover / verifier\, interactive / non-interactive models\, SNARK / zkSNARK\, computation models / aritmetic constraints / DLS languages

Speaker:

Andras Szabolcsi

Blockchain Solution Architect

BlockBen

3. A simple zkSNARK application demo with circom DSL on Hyperldger Fabric (30 min)

Daniel Szego

DLT Architect

4. Community Discussion (unlimited :)

Zero knowledge proofs, STARKs and similar technologies have been recently undergoing on a cambrian explosion. Although the field is highly theoretical, tools, frameworks and especially DSL langues are about to appear that can be used by IT professionals or developers. In this meetup we will investigate the possibilities how the ZK stack can be used in blockchain application development.

Agenda:

1. Welcome to the Hyperledger Community (5 min)

2. A non-mathematical introduction to the basic ZK concepts (25 min)

- prover / verifier\, interactive / non-interactive models\, SNARK / zkSNARK\, computation models / aritmetic constraints / DLS languages

Speaker:

Andras Szabolcsi

Blockchain Solution Architect

BlockBen

3. A simple zkSNARK application demo with circom DSL on Hyperldger Fabric (30 min)

Daniel Szego

DLT Architect

4. Community Discussion (unlimited :)

Zero knowledge proofs, STARKs and similar technologies have been recently undergoing on a cambrian explosion. Although the field is highly theoretical, tools, frameworks and especially DSL langues are about to appear that can be used by IT professionals or developers. In this meetup we will investigate the possibilities how the ZK stack can be used in blockchain application development.

Agenda:

1. Welcome to the Hyperledger Community (5 min)

2. A non-mathematical introduction to the basic ZK concepts (25 min)

- prover / verifier\, interactive / non-interactive models\, SNARK / zkSNARK\, computation models / aritmetic constraints / DLS languages

Speaker:

Andras Szabolcsi

Blockchain Solution Architect

BlockBen

3. A simple zkSNARK application demo with circom DSL on Hyperldger Fabric (30 min)

Daniel Szego

DLT Architect

4. Community Discussion (unlimited :)