Một giao thức Σ thanh lịch để chứng minh rằng một vector được cam kết bằng Pedersen là một bit-vector, như đã được mô tả bởi @benediamond trong [Diam20], nhưng ban đầu từ Bootle et al. [BCC+15] 👇
527