Details
| Title | Система анонимной верификации данных с использованием доказательств с нулевым разглашением в децентрализованных реестрах: выпускная квалификационная работа бакалавра: направление 02.03.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.03.03_01 «Интеллектуальные информационные системы и обработка данных» = An anonymous data verification system using zero-knowledge proofs in decentralized registries |
|---|---|
| Creators | Писарев Владислав Сергеевич |
| Scientific adviser | Йовановски Ненад |
| Organization | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности |
| Imprint | Санкт-Петербург, 2026 |
| Collection | Выпускные квалификационные работы ; Общая коллекция |
| Subjects | анонимность ; подтверждение ; фактов ; Zero-Knowledge доказательства ; DID ; verifiable ; credentials ; zokrates ; noir ; barretenberg ; blockchain ; SMART CONTRACTS ; anonymity ; fact verification ; Zero-Knowledge proofs ; verifiable credentials |
| Document type | Bachelor graduation qualification work |
| Language | Russian |
| Level of education | Bachelor |
| Speciality code (FGOS) | 02.03.03 |
| Speciality group (FGOS) | 020000 - Компьютерные и информационные науки |
| DOI | 10.18720/SPBPU/3/2026/vr/vr26-2771 |
| Rights | Доступ по паролю из сети Интернет (чтение) |
| Additionally | New arrival |
| Record key | ru\spstu\vkr\42646 |
| Record create date | 8/21/2026 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
системы анонимного подтверждения фактов на основе современных криптографических примитивов: Zero-Knowledge-доказательств и децентрализованных идентификаторов. Проанализированы существующие подходы к децентрализованной идентификации и проверке аттестуемых данных, включая стандарты W3C Verifiable Credentials и DID. Проведён обзор систем прототипов, использующих ZK-доказательства для проверки возраста, дипломов, результатов KYC и иных атрибутов личности без раскрытия персональных данных. Изучены технологии генерации и верификации zk-доказательств для Ethereum-совместимых систем, включая ZoKrates, Noir и Barretenberg, а также механизмы хранения доверенных публичных ключей организаций-издателей в блокчейн-реестрах. Особое внимание уделено роли смарт-контрактов и неизменяемой среды исполнения как источника доверия в распределённых системах.
anonymous fact verification based on modern cryptographic primitives: Zero-Knowledge proofs and decentralized identifiers. Existing approaches to decentralized identity and verification of attestable data are analyzed, including the W3C Verifiable Credentials and DID standards. A review is conducted of prototype systems that use ZK proofs to verify age, diplomas, KYC results, and other personal attributes without disclosing personal data.Technologies for generating and verifying zk-proofs for Ethereum-compatible systems are studied, including ZoKrates, Noir, and Barretenberg, as well as mechanisms for storing trusted public keys of issuing organizations in blockchain registries. Special attention is paid to the role of smart contracts and immutable execution environments as sources of trust in distributed systems.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
- 1e2782b41c343456418c3e6ae9df9dd524403b27d966e0f0bf727fe867d0424f.pdf
- 9bdb8e588d02ba0d119c0ec1084c5f185f90aaddd5019ac8e745c0b38ba095df.pdf