/
chiapos.cpp
162 lines (146 loc) · 6.3 KB
/
chiapos.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
#ifndef PYTHON_BINDINGS_PYTHON_BINDINGS_HPP_
#define PYTHON_BINDINGS_PYTHON_BINDINGS_HPP_
#if __has_include(<optional>)
#include <optional>
namespace stdx {
using std::optional;
}
#elif __has_include(<experimental/optional>)
#include <experimental/optional>
namespace stdx {
using std::experimental::optional;
}
#else
#error "an implementation of optional is required!"
#endif
#include <pybind11/operators.h>
#include <pybind11/pybind11.h>
#include <pybind11/stl.h>
#include "../src/plotter_disk.hpp"
#include "../src/prover_disk.hpp"
#include "../src/verifier.hpp"
namespace py = pybind11;
PYBIND11_MODULE(chiapos, m)
{
m.doc() = "Chia Proof of Space";
py::class_<DiskPlotter>(m, "DiskPlotter")
.def(py::init<>())
.def(
"create_plot_disk",
[](DiskPlotter &dp,
const std::string tmp_dir,
const std::string tmp2_dir,
const std::string final_dir,
const std::string filename,
uint8_t k,
const py::bytes &memo,
const py::bytes &id,
uint32_t buffmegabytes,
uint32_t num_buckets,
uint32_t stripe_size,
uint8_t num_threads,
bool nobitfield) {
std::string memo_str(memo);
const uint8_t *memo_ptr = reinterpret_cast<const uint8_t *>(memo_str.data());
std::string id_str(id);
const uint8_t *id_ptr = reinterpret_cast<const uint8_t *>(id_str.data());
try {
dp.CreatePlotDisk(tmp_dir,
tmp2_dir,
final_dir,
filename,
k,
memo_ptr,
len(memo),
id_ptr,
len(id),
buffmegabytes,
num_buckets,
stripe_size,
num_threads,
nobitfield ? 0 : ENABLE_BITFIELD);
} catch (const std::exception &e) {
std::cout << "Caught plotting error: " << e.what() << std::endl;
throw e;
}
});
py::class_<DiskProver>(m, "DiskProver")
.def(py::init<const std::string &>())
.def(
"get_memo",
[](DiskProver &dp) {
const std::vector<uint8_t>& memo = dp.GetMemo();
return py::bytes(reinterpret_cast<const char*>(memo.data()), memo.size());
})
.def(
"get_id",
[](DiskProver &dp) {
const std::vector<uint8_t>& id = dp.GetId();
return py::bytes(reinterpret_cast<const char*>(id.data()), id.size());
})
.def("get_size", [](DiskProver &dp) { return dp.GetSize(); })
.def("get_filename", [](DiskProver &dp) { return dp.GetFilename(); })
.def(
"get_qualities_for_challenge",
[](DiskProver &dp, const py::bytes &challenge) {
if (len(challenge) != 32) {
throw std::invalid_argument("Challenge must be exactly 32 bytes");
}
std::string challenge_str(challenge);
const uint8_t *challenge_ptr =
reinterpret_cast<const uint8_t *>(challenge_str.data());
py::gil_scoped_release release;
std::vector<LargeBits> qualities = dp.GetQualitiesForChallenge(challenge_ptr);
py::gil_scoped_acquire acquire;
std::vector<py::bytes> ret;
uint8_t *quality_buf = new uint8_t[32];
for (LargeBits quality : qualities) {
quality.ToBytes(quality_buf);
py::bytes quality_py = py::bytes(reinterpret_cast<char *>(quality_buf), 32);
ret.push_back(quality_py);
}
delete[] quality_buf;
return ret;
})
.def("get_full_proof", [](DiskProver &dp, const py::bytes &challenge, uint32_t index, bool parallel_read) {
std::string challenge_str(challenge);
const uint8_t *challenge_ptr = reinterpret_cast<const uint8_t *>(challenge_str.data());
py::gil_scoped_release release;
LargeBits proof = dp.GetFullProof(challenge_ptr, index, parallel_read);
py::gil_scoped_acquire acquire;
uint8_t *proof_buf = new uint8_t[Util::ByteAlign(64 * dp.GetSize()) / 8];
proof.ToBytes(proof_buf);
py::bytes ret = py::bytes(
reinterpret_cast<char *>(proof_buf), Util::ByteAlign(64 * dp.GetSize()) / 8);
delete[] proof_buf;
return ret;
},py::arg("challenge"), py::arg("index"), py::arg("parallel_read") = true);
py::class_<Verifier>(m, "Verifier")
.def(py::init<>())
.def(
"validate_proof",
[](Verifier &v,
const py::bytes &seed,
uint8_t k,
const py::bytes &challenge,
const py::bytes &proof) {
std::string seed_str(seed);
const uint8_t *seed_ptr = reinterpret_cast<const uint8_t *>(seed_str.data());
std::string challenge_str(challenge);
const uint8_t *challenge_ptr =
reinterpret_cast<const uint8_t *>(challenge_str.data());
std::string proof_str(proof);
const uint8_t *proof_ptr = reinterpret_cast<const uint8_t *>(proof_str.data());
LargeBits quality =
v.ValidateProof(seed_ptr, k, challenge_ptr, proof_ptr, len(proof));
if (quality.GetSize() == 0) {
return stdx::optional<py::bytes>();
}
uint8_t *quality_buf = new uint8_t[32];
quality.ToBytes(quality_buf);
py::bytes quality_py = py::bytes(reinterpret_cast<char *>(quality_buf), 32);
delete[] quality_buf;
return stdx::optional<py::bytes>(quality_py);
});
}
#endif // PYTHON_BINDINGS_PYTHON_BINDINGS_HPP_