Đoạn code về Non-interactive Zero-Knowledge (NIZK) proof

Dưới đây là một đoạn mã ví dụ đơn giản về Non-interactive Zero-Knowledge (NIZK) proof sử dụng thư viện cryptography trong Python:

from cryptography.hazmat.primitives.asymmetric import utils
from cryptography.hazmat.primitives import hashes
from cryptography.hazmat.primitives.asymmetric import ec

# Generate a random private key
private_key = ec.generate_private_key(ec.SECP256K1())

# Generate the corresponding public key
public_key = private_key.public_key()

# Generate a random message to prove knowledge of
message = b"Hello, world!"

# Create a NIZK proof
proof = private_key.sign(message, ec.ECDSA(hashes.SHA256()))

# Verify the NIZK proof
try:
    public_key.verify(proof, message, ec.ECDSA(hashes.SHA256()))
    print("Proof verified successfully!")
except InvalidSignature:
    print("Proof verification failed!")

Trong ví dụ trên, chúng ta sử dụng thuật toán elliptic curve cryptography (ECC) để tạo khóa riêng (private key) và khóa công khai (public key). Sau đó, chúng ta tạo một tin nhắn ngẫu nhiên (message) mà chúng ta muốn chứng minh sự hiểu biết. Tiếp theo, chúng ta sử dụng khóa riêng để tạo một NIZK proof (proof) bằng cách ký tin nhắn sử dụng thuật toán ECDSA và hàm băm SHA256.

Cuối cùng, chúng ta sử dụng khóa công khai để xác minh (verify) NIZK proof bằng cách so sánh proof với tin nhắn ban đầu. Nếu xác minh thành công, tức là proof đã được xác minh và chứng minh sự hiểu biết của chủ sở hữu khóa riêng về tin nhắn đó. Ngược lại, nếu xác minh thất bại, tức là proof không hợp lệ hoặc không đúng.

Lưu ý rằng đây chỉ là một ví dụ đơn giản để giải thích khái niệm của NIZK proof. Trong thực tế, việc triển khai NIZK proof có thể phức tạp hơn và đòi hỏi sử dụng các thư viện và công cụ mã hóa mạnh mẽ hơn.

Vietnam Pham

Digital Marketing Specialist

Related posts:

Non-interactive Zero-Knowledge (NIZK) proof là gì? Cách code zero-knowledge proofs (zk-proofs)? 5 ứng dụng của Zero-knowledge Proof vào Machine Learning Zero-Knowledge Address Abstraction (zkAA) là gì? Interactive Oracle Proofs là gì? OP Stack Fault Proof System: Chống gian lận trên layer 2 Complete Knowledge (CK) là gì? Các biến (variables) thông dụng để code trang web3 dạng stake token Các hàm (function) thông dụng để code trang web3 dạng stake token Các sự kiện (events) trong code web3 smart contract? Code trang chuyển token bằng smart contract, javascript (front-end) và solidity (back-end) Sửa code trong file app.js trên hosting thì bao lâu mới thay đổi trên web? Code javascript để lấy thời gian hiện tại? Cách code zk-snarks? Code để chứng thực văn bản, tài liệu lên blockchain 10 lỗi code Solidity khiến hacker dễ lợi dụng Enums trong code Solidity: Khái niệm và Ứng dụng SMT Checker trong Solidity: Kiểm tra lỗi code tức thì Cách code javascript thêm Metamask vào website và yêu cầu đúng blockchain Approve và Stake Token: code javascript và giải thích Code Solidity để ủy quyền tài khoản (delegate account) Cách code sử dụng thư viện SafeMath trong Solidity Ethereum Execution Layer Specification (EELS): Đơn giản hóa code thực thi Đánh giá Sự phân tán của các Validator: Sự phân bổ địa lý và cơ sở hạ tầng trong mạng Proof-of-Stake Proof-of-Lock (PoL) là gì? Proof-of-Location (PoL) trong blockchain là gì ? Proof-of-Useful-Work: Một cột mốc quan trọng của Flux Blockchain Non-transferable Token (NTT): Gắn liền với danh tính, không thể chuyển nhượng Dịch vụ code blockchain – thiết kế công nghệ chuỗi khối Aragon OSx: Plugin gắn thêm vào DAO chỉ với vài dòng code