Câu hỏi được gắn thẻ «cryptography»

Có lớp vấn đề NP nào có một giải pháp duy nhất không? Tôi đang hỏi điều đó, bởi vì khi tôi đang học về mật mã, tôi đã đọc về chiếc ba lô và tôi thấy ý tưởng này rất thú vị.

8 complexity-theory  decision-problem  np  cryptography 

Từ biểu đồ đẳng cấu, chúng ta biết rằng hai đồ thị A và B là đẳng cấu nếu có ma trận hoán vị P sao cho A = P× B × P- 1A=P×B×P−1A = P \times B \times P^{-1} Vì vậy, để giải quyết vấn đề, nếu hai đồ …

8 algorithms  graphs  cryptography  graph-isomorphism 

Nếu một thuật toán mã hóa có nghĩa là chuyển đổi một chuỗi thành một chuỗi khác mà sau đó có thể được giải mã trở lại ban đầu, làm thế nào quá trình này có thể liên quan đến bất kỳ sự ngẫu nhiên nào? Chắc chắn nó phải …

8 cryptography  encryption  randomness 

đó là một tuyên bố nổi tiếng rằng " Bảo mật mật mã phải dựa vào khóa bí mật thay vì thuật toán bí mật ." Tôi muốn hỏi về một số chi tiết về nó. Và đó là sự khác biệt của họ? Tôi thấy một điều hiển nhiên …

8 cryptography  security  encryption 

Tôi thường đọc mà quyết định có hay không một số là một modulo cặn bậc hai là một thú vị (và cứng) vấn đề từ lý thuyết số (đặc biệt là nếu là không nguyên tố).rrrnnnnnn Tôi đang xem xét trường hợp đặc biệt sau đây của vấn đề …

8 cryptography  number-theory 

Tôi đã bắt đầu học mật mã trong lớp và chúng tôi đã bắt gặp One-Time-Pad, trong đó khóa (được thống nhất thống nhất) miễn là chính thông điệp đó. Sau đó, bạn biến tin nhắn thành bit, làm và lấy văn bản mật mã. Điều này mã hóa tin …

7 randomized-algorithms  randomness  cryptography  encryption 

Có một số câu hỏi trên internet (trang này và các trang khác; ví dụ: Tại sao không có thuật toán mã hóa dựa trên các vấn đề NP-Hard đã biết? ) Thảo luận về độ cứng NP của các hệ thống mật mã bất đối xứng khác nhau. Các …

7 complexity-theory  np-complete  cryptography 

Vì vậy, tôi đã đọc về ZKP trên wikipedia , ví dụ tóm tắt tóm tắt như sau: Peggy muốn chứng minh với Victor rằng cô biết bí mật về một cánh cửa bên trong một hang động nối A và B với nhau (xem sơ đồ) mà không tiết …

7 algorithms  cryptography  security  authentication 

Đưa ra một mục đầu vào (N byte), tôi đang tìm một hàm sẽ ánh xạ hàm này thành đầu ra (vẫn là N byte). Hàm nên có các phẩm chất sau: Nó phải là 1-1 để tất cả các đầu vào ánh xạ tới một số đầu ra và …

7 discrete-mathematics  cryptography  hash 

Thật không may, nền tảng của tôi về độ phức tạp tính toán vẫn còn yếu, nhưng tôi đang nghiên cứu nó. Theo tôi hiểu, câu hỏi về sự tồn tại của các hàm một chiều là rất quan trọng trong lĩnh vực này. Giả sử có các hàm một …

7 complexity-theory  cryptography  one-way-functions 

Giả sử là hàm một chiều. Thế còn , trong đó và ?f(x)f(x)f(x)h(x)=f(x1)⊕f(x2)h(x)=f(x1)⊕f(x2)h(x)=f(x_1) \, \oplus \,f(x_2)x=x1||x2x=x1||x2x=x_1 || x_2|x1|=|x2||x1|=|x2|\lvert x_1 \rvert = \lvert x_2\rvert ⊕⊕\oplus là phân biệt độc quyền (xor) ||||||là ghép |u||u||u|là chiều dài củauuu

7 cryptography  one-way-functions 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Có tồn tại một mạch số học tương đương cho mỗi hàm tính toán không? Tôi đã cố gắng quấn đầu xung quanh tuyên bố trên, nhưng không tìm thấy một ví dụ phản tác dụng mặc dù tôi tin rằng tuyên bố đó là sai. Điều khiến tôi tò …

6 computability  computation-models  cryptography  circuits  simulation