28 Sep 2023
zkDatabase uses a distributed storage engine that improves the availability of data. It utilizes Zero-Knowledge Proof to ensuring the correctness of data in verifiable manner. With zkDatabase, it's allow developers to focus on developing their ideas, rather than managing the complexities of data storage and management.
- 7 participants
- 59 minutes
14 Sep 2023
Link to slides and resources: https://rb.gy/50z8l
From UI to ZK. Introduction for front-end developers to SnarkyJS zkApps.
Overview of zkApps and how to build them from a front end perspective.
Introduction to zero knowledge, and provide recourses for self studying.
Demo: build a simple zkApps utilizing reusable components with ZOK
From UI to ZK. Introduction for front-end developers to SnarkyJS zkApps.
Overview of zkApps and how to build them from a front end perspective.
Introduction to zero knowledge, and provide recourses for self studying.
Demo: build a simple zkApps utilizing reusable components with ZOK
- 5 participants
- 36 minutes
7 Sep 2023
SocialCap https://twitter.com/socialcap_
SocialCap aims to solve the challenge of verifying the authenticity of credentials in the digital world.
Our community-based attestation protocol, complemented by a user-friendly zkApp, enables easy self validation and issuance of credentials using a transparent and repeatable process, while preserving privacy and confidentiality.
We would like to showcase our product to the MINA community in order to gather feedback on how we can improve it and to better understand how the ecosystem can benefit from it.
Additionally, we would appreciate the opportunity to discuss design decisions concerning the UI/UX and the overall architecture.
We believe that these discussions could be valuable to others who are facing similar challenges that we encountered during the development process for MINA.
SocialCap aims to solve the challenge of verifying the authenticity of credentials in the digital world.
Our community-based attestation protocol, complemented by a user-friendly zkApp, enables easy self validation and issuance of credentials using a transparent and repeatable process, while preserving privacy and confidentiality.
We would like to showcase our product to the MINA community in order to gather feedback on how we can improve it and to better understand how the ecosystem can benefit from it.
Additionally, we would appreciate the opportunity to discuss design decisions concerning the UI/UX and the overall architecture.
We believe that these discussions could be valuable to others who are facing similar challenges that we encountered during the development process for MINA.
- 4 participants
- 55 minutes
19 Jul 2023
Github (source code) : https://github.com/RexanWONG/zk-protest
ZkProtest is a privacy-focused decentralized zkApp built using SnarkyJS, zero knowledge proofs, and deployed on the Mina blockchain.
It aims to enable anonymous and secure protests where participants can join and support various causes while preserving their privacy.
As a result, ZkProtest allowing users to join and support causes without compromising their personal information.
Privacy preserving, accountable, untraceable
ZkProtest is a privacy-focused decentralized zkApp built using SnarkyJS, zero knowledge proofs, and deployed on the Mina blockchain.
It aims to enable anonymous and secure protests where participants can join and support various causes while preserving their privacy.
As a result, ZkProtest allowing users to join and support causes without compromising their personal information.
Privacy preserving, accountable, untraceable
- 1 participant
- 15 minutes
19 Mar 2023
This video was created by Kartik Chopra
You can follow him on Twitter here https://twitter.com/ckartik_
Imagine that you could prove you have a doctor's note without revealing the doctor's details or specialization. Made a small Zero Knowledge Application to do just that!
From Kartik.
- I’m creating a smart contract that has a function which allows patients to pass in their virtual sick notes, provided by their doctors
- The smart-contract asserts a real doctor provided the sick note.
In More Detail:
Doctor Registry
- We’re first creating a registry of doctors in the leaves of a Merkel-tree. These will only be mutable by a single entity, known as the CPSO (https://cpso.on.ca taken from A doctor association in Canada) and forms the foundation of our security model/assumptions.
- We don’t highlight it in the code, but the Merkel tree would be hosted publicly in practice
Verification Process
- The patient-client would pass in a Merkel Witness for the doctor that provided them with the sick note.
- This would remain a private input
- The code/verification function checks the validity of the Merkel-Inclusion Proof by ensuring the tree root, which is currently a public state variable matches the Merkel Witness root.
- If this assertion passes, we check if the doctor’s note that is passed in was truly provided to the patient by the doctor.
- We do this by running Verify on the signature.
Imagine that you could prove you have a doctor's note without revealing the doctor's details or specialization. Made a small Zero Knowledge Application to do just that!
You can follow him on Twitter here https://twitter.com/ckartik_
Imagine that you could prove you have a doctor's note without revealing the doctor's details or specialization. Made a small Zero Knowledge Application to do just that!
From Kartik.
- I’m creating a smart contract that has a function which allows patients to pass in their virtual sick notes, provided by their doctors
- The smart-contract asserts a real doctor provided the sick note.
In More Detail:
Doctor Registry
- We’re first creating a registry of doctors in the leaves of a Merkel-tree. These will only be mutable by a single entity, known as the CPSO (https://cpso.on.ca taken from A doctor association in Canada) and forms the foundation of our security model/assumptions.
- We don’t highlight it in the code, but the Merkel tree would be hosted publicly in practice
Verification Process
- The patient-client would pass in a Merkel Witness for the doctor that provided them with the sick note.
- This would remain a private input
- The code/verification function checks the validity of the Merkel-Inclusion Proof by ensuring the tree root, which is currently a public state variable matches the Merkel Witness root.
- If this assertion passes, we check if the doctor’s note that is passed in was truly provided to the patient by the doctor.
- We do this by running Verify on the signature.
Imagine that you could prove you have a doctor's note without revealing the doctor's details or specialization. Made a small Zero Knowledge Application to do just that!
- 1 participant
- 32 minutes
15 Mar 2023
Mina's zkApps are smart contract applications powered by zero knowledge technology, which offer privacy, security and verifiability for users. Join the Mina community in Denver and learn about ZK, use cases, and starting building your first app during this hands-on workshop.
- 2 participants
- 1:15 hours
29 Dec 2022
#hackathon #programming #blockchaindeveloper
In part 2, I show you how I got stuck, overcame the problem and then got stuck again.😅
I managed to connect to a Metamask wallet in a frontend using react, and get all the holders of an NFT collection using alchemy.
This is a hackathon series that I recorded while participating in the MINA zk ignite builders program (cohort 0).
Check out part 1 to see how I came up with an idea for a privacy app using zk proofs (zk app).
https://www.youtube.com/watch?v=cD9dk7v37RQ
Timestamps
00:00 Programmer Joke?
00:08 Next Steps for Building the App
00:27 Best Practice Tip for Developers: Github
00:37 App Objective
00:55 Initial Confusion sets in
01:25 Proposed Solution
02:00 Connect Metamask Wallet in React
03:12 Get a List of NFT Holders using Alchemy
06:00 Explaining NFTs & Their Smart Contracts
08:08 So Close yet so far
08:24 Phone a Friend
Tutorials
Connect Metamask Wallet in React https://adeleyemahmud.com/2022/09/25/add-a-web3-connect-button-to-your-react-app-with-typescript-and-metamask/
Get NFT Holders using Alchemy https://docs.alchemy.com/docs/how-to-get-a-list-of-nft-holders-for-a-given-collection
My zk app submission github repo
https://github.com/alysiahuggins/proof-of-ownership-zkapp
Connect with me here:
https://links.alysia.tech
https://lenster.xyz/u/alysiatech
In part 2, I show you how I got stuck, overcame the problem and then got stuck again.😅
I managed to connect to a Metamask wallet in a frontend using react, and get all the holders of an NFT collection using alchemy.
This is a hackathon series that I recorded while participating in the MINA zk ignite builders program (cohort 0).
Check out part 1 to see how I came up with an idea for a privacy app using zk proofs (zk app).
https://www.youtube.com/watch?v=cD9dk7v37RQ
Timestamps
00:00 Programmer Joke?
00:08 Next Steps for Building the App
00:27 Best Practice Tip for Developers: Github
00:37 App Objective
00:55 Initial Confusion sets in
01:25 Proposed Solution
02:00 Connect Metamask Wallet in React
03:12 Get a List of NFT Holders using Alchemy
06:00 Explaining NFTs & Their Smart Contracts
08:08 So Close yet so far
08:24 Phone a Friend
Tutorials
Connect Metamask Wallet in React https://adeleyemahmud.com/2022/09/25/add-a-web3-connect-button-to-your-react-app-with-typescript-and-metamask/
Get NFT Holders using Alchemy https://docs.alchemy.com/docs/how-to-get-a-list-of-nft-holders-for-a-given-collection
My zk app submission github repo
https://github.com/alysiahuggins/proof-of-ownership-zkapp
Connect with me here:
https://links.alysia.tech
https://lenster.xyz/u/alysiatech
- 1 participant
- 9 minutes
23 Dec 2022
#zeroknowledge #blockchaindeveloper #hackathon
This is part 1 of a series where I walk you through (maybe a bit haphazardly) the steps one might take when competing in an online programming competition or hackathon.
In this episode, I walk you through the ideation phase.
This was for a program called zk ignite (cohort 0) where you create blockchain apps utilising zero knowledge proofs (zk apps) on the Mina Blockchain.
Timestamps
00:00 Intro
00:07 Context
00:42 ZK App Idea Evaluation Sheet
01:07 Explaining an Private (ZK) App Idea
01:43 The App Idea that I chose
01:53 Reason for choosing this idea
02:40 Evaluating my zk app idea
04:49 What is Mina Protocol
05:05 Competition Details
05:30 Ironic Outro
Connect with me here:
https://links.alysia.tech
https://lenster.xyz/u/alysiatech
This is part 1 of a series where I walk you through (maybe a bit haphazardly) the steps one might take when competing in an online programming competition or hackathon.
In this episode, I walk you through the ideation phase.
This was for a program called zk ignite (cohort 0) where you create blockchain apps utilising zero knowledge proofs (zk apps) on the Mina Blockchain.
Timestamps
00:00 Intro
00:07 Context
00:42 ZK App Idea Evaluation Sheet
01:07 Explaining an Private (ZK) App Idea
01:43 The App Idea that I chose
01:53 Reason for choosing this idea
02:40 Evaluating my zk app idea
04:49 What is Mina Protocol
05:05 Competition Details
05:30 Ironic Outro
Connect with me here:
https://links.alysia.tech
https://lenster.xyz/u/alysiatech
- 1 participant
- 6 minutes
21 Dec 2022
It's a nonogram game! You can play here: https://dcspark.github.io/zkapp-nonogram/
we also MIT open-sourced the code if you want to look at it here: https://github.com/dcSpark/zkapp-nonogram
Twitter: https://twitter.com/dcspark_io
we also MIT open-sourced the code if you want to look at it here: https://github.com/dcSpark/zkapp-nonogram
Twitter: https://twitter.com/dcspark_io
- 1 participant
- 6 minutes
18 Dec 2022
Curious about Zero Knowledge Proofs but you haven't spent time learning about it yet? In this video, Jen and I present our apps that use zero knowledge proofs on the Mina Blockchain. We built these apps as part of a programme, hosted by O1 Labs, which taught how to build ZK apps on the Mina Protocol.
These apps were created with Typescript and we were both new to zero knowledge proofs and building with SnarkyJS prior to this programme.
What do you think about Zero Knowledge Proofs?
Some ZK writings by moi here https://medium.com/@alysiatech/learning-about-mina-as-a-developer-part-1-what-is-a-zkapp-how-to-create-one-f1f49bb2df49
00:00 Context
00:16 YK Proof (Alysia)
15:30 ZK Schinzelhunt (Jen)
Schnitzelhunt (Jen)
https://github.com/jenpaff/zk-schnitzeljagd
https://twitter.com/jenpaff
YK Proofs (Alysia)
https://github.com/alysiahuggins/code-on-chain-with-mina
https://alysiahuggins.github.io/code-on-chain-with-mina/ (You need an Auro Wallet on the Berkeley Testnet with Testnet Mina if you'd like to use YK Proofs)
https://links.alysia.tech
https://lenster.xyz/u/alysiatech
(Sorry for the video quality, this was recorded by Google Meet)
These apps were created with Typescript and we were both new to zero knowledge proofs and building with SnarkyJS prior to this programme.
What do you think about Zero Knowledge Proofs?
Some ZK writings by moi here https://medium.com/@alysiatech/learning-about-mina-as-a-developer-part-1-what-is-a-zkapp-how-to-create-one-f1f49bb2df49
00:00 Context
00:16 YK Proof (Alysia)
15:30 ZK Schinzelhunt (Jen)
Schnitzelhunt (Jen)
https://github.com/jenpaff/zk-schnitzeljagd
https://twitter.com/jenpaff
YK Proofs (Alysia)
https://github.com/alysiahuggins/code-on-chain-with-mina
https://alysiahuggins.github.io/code-on-chain-with-mina/ (You need an Auro Wallet on the Berkeley Testnet with Testnet Mina if you'd like to use YK Proofs)
https://links.alysia.tech
https://lenster.xyz/u/alysiatech
(Sorry for the video quality, this was recorded by Google Meet)
- 2 participants
- 28 minutes
3 Oct 2022
Is everybody sleeping on Mina Protocol?
Today, we take a deep dive into what might be one of the most impressive crypto projects out there. A layer-1 blockchain with focus on scalability, privacy, security, and sustainability, Mina combines impressive technology with a strong team and community.
With some insane real world uses cases in the pipeline, this project deserves your attention.
0:00 Intro
1:20 Privacy and Security
3:10 Sustainability
5:30 Real World Use Cases
7:20 Oracle
9:20 Universal Logins
11:00 Mina Nodes
13:00 Post-Hype Sleeper
14:30 The Community
15:45 Organic Marketing
17:15 Conclusion
Mina Protocol: https://bit.ly/3UNA9vR
Beanstock Discord 💬: https://discord.gg/zWBaY6vs3s
Jolly Green Investor 🍀: https://jollygreeninvestor.com
The Nifty Investor 🤖: https://beacons.ai/theniftyinvestor
#crypto #cryptocurrency #bitcoin #ethereum #investors #investing #defi #blockchain #binance #coinbase #altcoin #altcoins #web3 #cryptonews #cryptotrading #minaprotocol
Today, we take a deep dive into what might be one of the most impressive crypto projects out there. A layer-1 blockchain with focus on scalability, privacy, security, and sustainability, Mina combines impressive technology with a strong team and community.
With some insane real world uses cases in the pipeline, this project deserves your attention.
0:00 Intro
1:20 Privacy and Security
3:10 Sustainability
5:30 Real World Use Cases
7:20 Oracle
9:20 Universal Logins
11:00 Mina Nodes
13:00 Post-Hype Sleeper
14:30 The Community
15:45 Organic Marketing
17:15 Conclusion
Mina Protocol: https://bit.ly/3UNA9vR
Beanstock Discord 💬: https://discord.gg/zWBaY6vs3s
Jolly Green Investor 🍀: https://jollygreeninvestor.com
The Nifty Investor 🤖: https://beacons.ai/theniftyinvestor
#crypto #cryptocurrency #bitcoin #ethereum #investors #investing #defi #blockchain #binance #coinbase #altcoin #altcoins #web3 #cryptonews #cryptotrading #minaprotocol
- 3 participants
- 20 minutes
28 Jan 2022
A short step-by-step guide about how to set up a Mina Protocol node on a Linux operating system.
- 1 participant
- 12 minutes
8 Dec 2021
The ZK HACK is brought to you by ZKValidator and Zero Knowledge Podcast: 7 weeks of workshops to learn about zero knowledge tools and concepts alongside a puzzle competition.
In this video, Izaak Meckler and Jason Borseth from Mina protocol host a workshop introducing SnarkyJS and Snapps.
Check out the website for ZK HACK https://www.zkhack.dev/
To stay up to date with ZK HACK follow the Twitter - @__zkhack__
And get involved with the community by joining the discord https://discord.gg/tHXyEbEqVN
To Follow the Zero Knowledge Podcast us at https://www.zeroknowledge.fm
To the listeners of Zero Knowledge Podcast, if you like what we do:
- Follow us on Twitter - @zeroknowledgefm
- Join us on Telegram - https://t.me/joinchat/TORo7aknkYNLHmCM
- Support our Gitcoin Grant - https://gitcoin.co/grants/329/zero-knowledge-podcast-2
- Support us on Patreon - https://www.patreon.com/zeroknowledge
In this video, Izaak Meckler and Jason Borseth from Mina protocol host a workshop introducing SnarkyJS and Snapps.
Check out the website for ZK HACK https://www.zkhack.dev/
To stay up to date with ZK HACK follow the Twitter - @__zkhack__
And get involved with the community by joining the discord https://discord.gg/tHXyEbEqVN
To Follow the Zero Knowledge Podcast us at https://www.zeroknowledge.fm
To the listeners of Zero Knowledge Podcast, if you like what we do:
- Follow us on Twitter - @zeroknowledgefm
- Join us on Telegram - https://t.me/joinchat/TORo7aknkYNLHmCM
- Support our Gitcoin Grant - https://gitcoin.co/grants/329/zero-knowledge-podcast-2
- Support us on Patreon - https://www.patreon.com/zeroknowledge
- 3 participants
- 1:39 hours
1 Dec 2021
This is ChainSafe's talk "Mina Rust" from ChainSafe's 3-day virtual summit called CSCON[1] presented on December 1st, 2021.
ChainSafe is a global leader in blockchain protocol and infrastructure development for Web 3.0.
ChainSafe's website: https://chainsafe.io
Get into the code: https://github.com/ChainSafe
Join our Discord: https://discord.gg/CprJHjrWG6
Stay up-to-date on Twitter: https://twitter.com/ChainSafeth
Read through our Medium: https://medium.com/chainsafe-systems
ChainSafe is a global leader in blockchain protocol and infrastructure development for Web 3.0.
ChainSafe's website: https://chainsafe.io
Get into the code: https://github.com/ChainSafe
Join our Discord: https://discord.gg/CprJHjrWG6
Stay up-to-date on Twitter: https://twitter.com/ChainSafeth
Read through our Medium: https://medium.com/chainsafe-systems
- 2 participants
- 17 minutes
31 May 2021
Document used in this video
https://bit.ly/2RPHgsb
Wallets used in this video
https://bit.ly/3wLaeYH
https://bit.ly/3c2kaoZ
Buy ledger
https://bit.ly/2RXj335
Details for our block producer with %0 fee for details
https://bit.ly/2SBwaa4
Block producer we endorse with 4% fee for details
https://bit.ly/3yM5bJA
To see all block producers
https://bit.ly/3yM58xo
0:00 Intro
0:34 Setup
4:58 Staking with Auro wallet
6:48 Staking with Clor wallet
https://bit.ly/2RPHgsb
Wallets used in this video
https://bit.ly/3wLaeYH
https://bit.ly/3c2kaoZ
Buy ledger
https://bit.ly/2RXj335
Details for our block producer with %0 fee for details
https://bit.ly/2SBwaa4
Block producer we endorse with 4% fee for details
https://bit.ly/3yM5bJA
To see all block producers
https://bit.ly/3yM58xo
0:00 Intro
0:34 Setup
4:58 Staking with Auro wallet
6:48 Staking with Clor wallet
- 1 participant
- 9 minutes
7 Nov 2019
SFBW19 - Playing to Win: Creating the Right Incentives for Competitive Testnets
Panelists:
Brandon Kase, Coda
Zaki Manian, Tendermint
Ben Golub, Storj
Illia Polosukhin, NEAR
Ofer Rotem, Collider Ventures
San Francisco Blockchain Week: https://sfblockchainweek.io/
Panelists:
Brandon Kase, Coda
Zaki Manian, Tendermint
Ben Golub, Storj
Illia Polosukhin, NEAR
Ofer Rotem, Collider Ventures
San Francisco Blockchain Week: https://sfblockchainweek.io/
- 5 participants
- 37 minutes
17 Mar 2019
Rebekah Mercer (Protocol Researcher, Coda Protocol, O(1) Labs) guiding us through the constant size blockchains, zero knowledge protocols, and all things snarky at the 2019 MIT Bitcoin Expo
- 3 participants
- 28 minutes
2 Feb 2019
Saint AppsConf 2019
21 и 22 октября 2019, Санкт-Петербург
Подробности и билеты на сайте https://appsconf.ru/spb/2019
AppsConf 2018
Зал «Зал 2. Без тормозов»
8 октября, 12:00
Тезисы и презентация:
http://appsconf.ru/2018/abstracts/3724
Designing simple and expressive libraries is hard, but is a worthy goal. It's too easy to accidentally add complexity. Math can fix that. Math can give us guide-rails that point us to an ideal simple and expressive design. In this talk, we'll use basic abstract algebra to guide us toward a simple and expressive animation library. We'll use animations to help us understand abstract algebra as we discover the true algebraic structure of animations. Only after thinking hard about the structure, do we begin an implementation. In the end, I'll present some examples of working with this animation library we derived over the talk.
--------
Нашли ошибку в видео? Пишите нам на support@ontico.ru
21 и 22 октября 2019, Санкт-Петербург
Подробности и билеты на сайте https://appsconf.ru/spb/2019
AppsConf 2018
Зал «Зал 2. Без тормозов»
8 октября, 12:00
Тезисы и презентация:
http://appsconf.ru/2018/abstracts/3724
Designing simple and expressive libraries is hard, but is a worthy goal. It's too easy to accidentally add complexity. Math can fix that. Math can give us guide-rails that point us to an ideal simple and expressive design. In this talk, we'll use basic abstract algebra to guide us toward a simple and expressive animation library. We'll use animations to help us understand abstract algebra as we discover the true algebraic structure of animations. Only after thinking hard about the structure, do we begin an implementation. In the end, I'll present some examples of working with this animation library we derived over the talk.
--------
Нашли ошибку в видео? Пишите нам на support@ontico.ru
- 5 participants
- 44 minutes