Skip to content

Commit

Permalink
can make x86
Browse files Browse the repository at this point in the history
  • Loading branch information
ziaptos committed May 29, 2024
1 parent 2bec7e2 commit 4480030
Show file tree
Hide file tree
Showing 3 changed files with 18 additions and 14 deletions.
4 changes: 3 additions & 1 deletion build_tbb.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,13 @@

set -e

ROOTPATH=$(pwd)

cd depends/tbb/oneTBB
# Create binary directory for out-of-source build
mkdir -p build && cd build
# Configure: customize CMAKE_INSTALL_PREFIX and disable TBB_TEST to avoid tests build
cmake -DCMAKE_INSTALL_PREFIX=$(pwd)/installed -DTBB_TEST=OFF ..
cmake -DCMAKE_INSTALL_PREFIX=$ROOTPATH/package -DTBB_TEST=OFF ..
# Build
cmake --build .
# Install
Expand Down
3 changes: 3 additions & 0 deletions make_x86.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/bin/bash

LD_LIBRARY_PATH=./package/lib g++ -I./package/include -std=c++17 src/main.cpp ./package/lib/librapidsnark-fr-fq.a -lgmp -L./package/lib -ltbb -pthread -g
25 changes: 12 additions & 13 deletions src/main.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,11 +6,6 @@ int main(int argc, char* argv[])
std::cout << "Aleks";
std::cout << "\n";

std::cout << sizeof(FqElement) << "\n";
std::cout << alignof(FqElement) << "\n";

std::cout << sizeof(FqRawElement) << "\n";
std::cout << alignof(FqRawElement) << "\n";

auto zkey_file = argc > 1 ? argv[1] : "./testdata/circuit_final.zkey";

Expand All @@ -19,16 +14,20 @@ int main(int argc, char* argv[])
// FullProver prover("../main_00004.zkey");
// FullProver prover("./testdata/circuit_final.zkey");
FullProver prover(zkey_file);
auto ret = prover.prove("./witness.wtns");

if (ret.type == SUCCESS)
{
std::cout << "OK\n";
}
else
while (1)
{
std::cout << "ERROR\n";
auto ret = prover.prove("./witness.wtns");

if (ret.type == SUCCESS)
{
std::cout << "OK\n";
}
else
{
std::cout << "ERROR\n";
}
std::cout << ret.raw_json << "\n";
}

std::cout << ret.raw_json << "\n";
}

0 comments on commit 4480030

Please sign in to comment.