MicroMint

- Brokers sản xuất “đồng xu” có vòng đời ngắn, bán tiền xu cho người sửdụng

- Người sử dụng phải trả nhà cung cấp bằng tiền xu

- Các nhà cung cấp trao đổi tiền xu với các nhà môi giới bằng tiền “thật” bỏ ra

Đúc xu trong MicroMint

- Ý tưởng: làm cho đồng tiền dễ dàng để xác minh, nhưng khó khăn để tạo ra (vì vậy không có lợi khi làm giả)

- Trong MicroMint, đồng xu được biểu diễn bởi đụng độ hash-function, các giá trị x, y sao cho H (x) = H (y).

- Nếu H (•) trảkết quảlà một giá trị băm n-bit, chúng ta phải thử 2n+2 giá trị của x để tìm một đụng độ 2-chiều đầu tiên

- Thử c*2n+2 giá trịcủa x để có c2  đụng độ

- Việc tạo ra các đụng độ trở nên rẻ hơn sau khi một trong những đụng độ đầu tiên được tìm thấy.

- Một đụng độ k-chiều là một tập hợp {x1 , x2 ,. . , xk } với H (x 1) = H (x2 ) = . . = H (xk )

- Phải mất khoảng 2n(k-1)/k  giá trị của x đểtìm một đụng độ k chiều

- Phép thử c•2n(k-1)/k   giá trị của x sản xuất khoảng ck đụng độ

- Nếu k>2, việc tìm kiếm một đụng độ đầu tiên là chậm, nhưng chuỗi đụng độ sau đó sẽ nhanh chóng.

- Nếu một đụng độ k-chiều {x1 , x2 ,... , xk } biểu diễn cho một đồng xu, dễ dàng được xác nhận bằng cách tính H (x1 ), H (x2 ). . , H (xk )

- Một người môi giới có thể dễ dàng tạo ra 10 tỷ đồng tiền xu mỗi tháng bằng cách sửmột cơ chế.

Bán xu MicroMint

- Môi giới tạo ra 10 tỷ đồng tiền và các lưu trữ(x, H (x)) cho mỗi đồng xu, với thời gian hiệu lực là một tháng

- Các hàm H thay đổi ở đầu mỗi tháng Broker bán đồng xu {x1 , x2 ,. . , xk .} cho người sử dụng để lấy tiền “thật”, ghi lại thông tin những người mua xu

- Vào cuối tháng, người sử dụng đổi lại những đồng xu chưa tiêu đểlấy xu mới

Chi tiêu xu MicroMint

- Người sửdụng gửi vendor một đồng xu {x1 , x2 ,. . , xk }

- Người bán hàng kiểm tra tính hợp lệ bằng cách kiểm tra H (x1 ) = H (x2 ) = . . = H (xk ) (k phép tính băm)

- Nếu hợp lệ nhưng những đồng xu sử dụng 2 lần (trước đây được sửdụng với một nhà cung cấp khác) không thểđược phát hiện vào thời điểm này

-Vào cuối ngày, vendor gửi tiền xu tới broker

- Broker xác minh đồng tiền, kiểm tra tính hợp lệ, kiểm tra double spending, trảtiền cho vendor.

Phát hiện giả mạo MicroMint

- Một đồng xu giảmạo là đụng độ k chiều {x1 , x2 ,. . , xk } dưới hàm H (•) là không được đúc bởi broker

- Người bán hàng không có thể xác định điều này trong thời gian thực

- Quy mô nhỏnên việc giả mạo là không khả thi

- Giả mạo tiền trởnên không hợp lệsau một tháng

- Giả mạo không thể bắt đầu trước khi hàm băm mới được công bố