Benjamin_Loison commented on issue Benjamin_Loison/Proof_of_Space-Time_prototype#4 2023-06-08 14:15:31 +02:00
Make the prototype non interactive (NI)

The whole PoST can't be NI.

There are two problems for making it completely NI:

  • the prover salt randomness can't be issued in a trusted and NI manner (cf attachment)
  • the verifications…
Benjamin_Loison closed issue Benjamin_Loison/Proof_of_Space-Time_prototype#4 2023-06-08 14:15:31 +02:00
Make the prototype non interactive (NI)
Benjamin_Loison closed issue Benjamin_Loison/Proof_of_Space-Time_prototype#11 2023-06-08 14:11:10 +02:00
Attack by using a nonce multiple times
Benjamin_Loison pushed to master at Benjamin_Loison/Proof_of_Space-Time_prototype 2023-06-08 14:11:10 +02:00
8c98a259ad Fix #11: Attack by using a nonce multiple times
Benjamin_Loison opened issue Benjamin_Loison/Proof_of_Space-Time_prototype#11 2023-06-08 14:06:53 +02:00
Attack by using identical nonce
Benjamin_Loison pushed to master at Benjamin_Loison/Proof_of_Space-Time_prototype 2023-06-06 15:46:24 +02:00
08b4de8b61 Add multiple execution phases possibility
569046321b Solve potential length extension attack by using SHA-3
Compare 2 commits »
Benjamin_Loison commented on issue Benjamin_Loison/Proof_of_Space-Time_prototype#10 2023-06-03 19:33:21 +02:00
The prover hasn't provided a correct proof!

The issue was due to ast.literal_eval(str(indexesRequest)) not being idempotent with indexesRequest being a set.

Benjamin_Loison closed issue Benjamin_Loison/Proof_of_Space-Time_prototype#10 2023-06-03 19:32:30 +02:00
The prover hasn't provided a correct proof!
Benjamin_Loison pushed to master at Benjamin_Loison/Proof_of_Space-Time_prototype 2023-06-03 19:32:30 +02:00
913fe06d5c Clean #10
ae934da1c8 Fix #10: The prover hasn't provided a correct proof!
Compare 2 commits »
Benjamin_Loison closed issue Benjamin_Loison/Proof_of_Space-Time_prototype#8 2023-06-03 16:39:40 +02:00
The received difficulty doesn't match the claimed one!
Benjamin_Loison pushed to master at Benjamin_Loison/Proof_of_Space-Time_prototype 2023-06-03 16:39:40 +02:00
0ab5395508 Fix #8: The received difficulty doesn't match the claimed one!
848b52e3a6 Revert #8: Debugging
Compare 2 commits »
Benjamin_Loison opened issue Benjamin_Loison/Proof_of_Space-Time_prototype#10 2023-06-03 16:38:16 +02:00
The prover hasn't provided a correct proof!
Benjamin_Loison pushed to master at Benjamin_Loison/Proof_of_Space-Time_prototype 2023-06-03 16:32:26 +02:00
a5b18ef24b #8: Debugging
9fd6d63734 Add reproducibility to solve #8
Compare 2 commits »
Benjamin_Loison commented on issue Benjamin_Loison/Proof_of_Space-Time_prototype#8 2023-06-03 16:14:20 +02:00
The received difficulty doesn't match the claimed one!

It seems that the problem is that the prover doesn't send all expected nonces.

Benjamin_Loison pushed to master at Benjamin_Loison/Proof_of_Space-Time_prototype 2023-06-01 23:59:33 +02:00
cd7f9ddfd7 Make meta.py loop until finding a problem
e4c8d820cc Clean meta.py
7bfdf166dc Make meta.py work
7b1098d90d Before adding universal_newlines=True to meta.py subprocesses
b1418bcd91 Add meta.py
Compare 5 commits »