1
0
Fork 0
mirror of https://github.com/ton-blockchain/ton synced 2025-02-13 03:32:22 +00:00
ton/crypto/vm/boc.h

337 lines
12 KiB
C
Raw Normal View History

2019-09-07 10:03:22 +00:00
/*
This file is part of TON Blockchain Library.
TON Blockchain Library is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 2 of the License, or
(at your option) any later version.
TON Blockchain Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with TON Blockchain Library. If not, see <http://www.gnu.org/licenses/>.
2020-03-02 13:52:55 +00:00
Copyright 2017-2020 Telegram Systems LLP
2019-09-07 10:03:22 +00:00
*/
#pragma once
#include <set>
2023-02-28 09:45:49 +00:00
#include <map>
#include "vm/db/DynamicBagOfCellsDb.h"
2019-09-07 10:03:22 +00:00
#include "vm/cells.h"
#include "td/utils/Status.h"
#include "td/utils/buffer.h"
#include "td/utils/HashMap.h"
#include "td/utils/HashSet.h"
#include "td/utils/port/FileFd.h"
2019-09-07 10:03:22 +00:00
namespace vm {
using td::Ref;
class NewCellStorageStat {
public:
NewCellStorageStat() {
}
struct Stat {
Stat() {
}
Stat(td::uint64 cells_, td::uint64 bits_, td::uint64 internal_refs_ = 0, td::uint64 external_refs_ = 0)
: cells(cells_), bits(bits_), internal_refs(internal_refs_), external_refs(external_refs_) {
}
td::uint64 cells{0};
td::uint64 bits{0};
td::uint64 internal_refs{0};
td::uint64 external_refs{0};
auto key() const {
return std::make_tuple(cells, bits, internal_refs, external_refs);
}
bool operator==(const Stat& other) const {
return key() == other.key();
}
Stat& operator=(const Stat& other) = default;
Stat& operator+=(const Stat& other) {
cells += other.cells;
bits += other.bits;
internal_refs += other.internal_refs;
external_refs += other.external_refs;
return *this;
}
Stat operator+(const Stat& other) const {
return Stat{cells + other.cells, bits + other.bits, internal_refs + other.internal_refs,
external_refs + other.external_refs};
}
bool fits_uint32() const {
return !((cells | bits | internal_refs | external_refs) >> 32);
}
void set_zero() {
cells = bits = internal_refs = external_refs = 0;
}
};
Stat get_stat() const {
return stat_;
}
Stat get_proof_stat() const {
return proof_stat_;
}
Stat get_total_stat() const {
return stat_ + proof_stat_;
}
void add_cell(Ref<Cell> cell);
void add_proof(Ref<Cell> cell, const CellUsageTree* usage_tree);
void add_cell_and_proof(Ref<Cell> cell, const CellUsageTree* usage_tree);
Stat tentative_add_cell(Ref<Cell> cell) const;
Stat tentative_add_proof(Ref<Cell> cell, const CellUsageTree* usage_tree) const;
void set_zero() {
stat_.set_zero();
proof_stat_.set_zero();
}
private:
const CellUsageTree* usage_tree_;
std::set<vm::Cell::Hash> seen_;
Stat stat_;
std::set<vm::Cell::Hash> proof_seen_;
Stat proof_stat_;
const NewCellStorageStat* parent_{nullptr};
void dfs(Ref<Cell> cell, bool need_stat, bool need_proof_stat);
};
struct CellStorageStat {
unsigned long long cells;
unsigned long long bits;
unsigned long long public_cells;
2023-02-28 09:06:57 +00:00
struct CellInfo {
td::uint32 max_merkle_depth = 0;
};
std::map<vm::Cell::Hash, CellInfo> seen;
2019-09-07 10:03:22 +00:00
CellStorageStat() : cells(0), bits(0), public_cells(0) {
}
TVM Upgrade (#686) * New TVM instructions * Remove PREVBLOCKS * Separate target ton_crypto into TVM-related and -unrelared code * Add fine for failed "send message"; rework SENDMSG * Fix include * Fix bugs, improve action fines * Disable fines for special accounts * Handle msg_balance_remaining.grams == null in transaction.cpp * Bugfixes in SENDMSG * Fix fee calculation in SENDMSG * Fix CellStorageStat and transaction.cpp after merge * SETBOUNCEONACTIONPHASEFAIL instruction * ADDDIVMOD instructions * RUNVM, RUNVMX instructions * Changes in RUNVM * Tests for adddiv and runvm * HASHEXT instruction * Improve opcode-timing More iterations Don't measure preliminary run Remove logs and other excessive operations Add "error" to output * Increase RUNVM gas price * Optimize HASHEXT, adjust gas price * Add "bounce of action fail" flag to actions * Stack operations with unlimited arguments * Ristretto255 instructions * Adjust gas consumption * Optional fixed number of return values in RUNVM, fix exception handling * Adjust gas consumption * Simplify gas consumption logic * Support of secp256k1 and sodium libraries in builds (#11) * add support of secp256k1 library to the builds (linux, win) * add support of secp256k1 library to the builds (linux, win) * install secp256k1 via brew * install libsodium via brew; change sodium to upper case in FindSodium.cmake * install libsodium via brew; change sodium to upper case in FindSodium.cmake * simplify FindSodium.cmake * bug fixing * bug fixing * bug fixing * add macro SODIUM_STATIC * adjust build command for windows * put back original FindSodium.cmake * put back original FindSodium.cmake * fix sodium unzipped path for windows; add ninja * fix sodium unzipped path for windows; add ninja * fix sodium unzipped path for windows; add ninja * Win32 github build for secp256k1 * x64 architecture github build for secp256k1 * fix sodium linking on linux * enable docker buildx arm64 builds from forked repos * enable docker buildx arm64 builds from forked repos * enable docker buildx arm64 builds from forked repos * adjust mac builds for secp2561k and sodium * fix tonlib jni generation * minor fix * sync fixes across platforms * add libsodium build script for android and precompiled static libraries * build tonlib for android (fails) * FindSodium uppercase * remove system libsodium for android, use precompiled instead; specify SECP256K1_INCLUDE_DIR fir mac 12.6 * uppercase sodium * simplify FindSodium * fix windows build sodium path; use ninja for windows * simplify sodium 2 * adjust windows sodium paths; add paths to android jni * add ninja build windows * add ninja build windows * add ninja build windows 2 * remove win ninja * fix 1 * fix 2 * fix win 3 * fix linux compile 3 * fix jni 1 * fix jni 2 and mac * fix jni 3 * fix jni 4 * fix jni 5 * fix mac 6 * fix mac 7 and jni paths * fix jni 8 * rework sodium for android * rework sodium for android * rework sodium for android 2 * fixed sodium for android 2 * fixed sodium for android 3 * static secp256k1 for android * add precompiled arm secp256k1 * add precompiled arm secp256k1 * build native-lib with secp256k1 x86-64 (non arm) * update precompiled with NDK libsecp256k1.a * update precompiled with NDK libsecp256k1.a * update precompiled with NDK libsecp256k1.a * refactor llvm-strip location * refactor llvm-strip location * add native-lib.so for armv7a, armv8a * add native-lib.so for armv7a, armv8a * test armv7a, armv8a * armv7a - fails linking on sodium, test -> armv8a * works x86-64, armv7a - fails linking on sodium, armv8a - fails linking secp256k1 (incompatible with aarch64linux) * update libpsec256k1, sodium static libs * test x86 android native-lib * test armv7 android native-lib * test armv8 android native-lib * x86_64 and arm64 android native-lib works * x86_64 and arm64 android native-lib works * x86_64 and arm64 android native-lib works * test armv7 android native-lib * test all android native-libs * test all android native-libs * test all android native-libs * test all android native-libs - without SodiumAndroid * test all android native-libs - with FindSodiumAndroid.cmake * win, with Sodium via SODIUM_DIR * win, with Sodium via SODIUM_DIR env * win, with Sodium via SODIUM_DIR env * win, with Sodium via SODIUM_DIR env and SODIUM_USE_STATIC_LIBS * win, with Sodium via SODIUM_DIR, SODIUM_USE_STATIC_LIBS and SODIUM_INCLUDE_DIR * android, with FindSodium * android, with FindSodium with SODIUM_USE_STATIC_LIBS * remove if not apple * target_link_libraries(ton_crypto_core PUBLIC secp256k1) * android SECP256K1_INCLUDE_DIRS * android SECP256K1_INCLUDE_DIR * add libsecp256k1.a/so pre-compiled with ubuntu 22 x86-64 * add libsecp256k1.a/so pre-compiled with ubuntu 22 x86-64 * sodium dirs * sodium dirs * sodium dirs * remove NOT APPLE and SodiumAndroid * add NOT APPLE and remove SodiumAndroid * add NOT APPLE and remove SodiumAndroid * remove build scripts for 18.04, reduce CMakeLists.txt * remove build scripts for 18.04, reduce CMakeLists.txt * Fix cas consumption during library load * Fix fetch_config_params after merge * Add all ADDDIVMOD ops to Asm.fif * Save unpaid storage fee to due_payment * Add "set prev blocks info" to emulator * Adjusted builds (#13) * Update flake.nix Add libsodium * add libsecp256k1-dev and libsodium-dev into wasm build * make back emulator a shared library; put emulator to artifacts; compile wasm artifacts with sodium and secp256k1. * add secp256k1 to nix * compile emulator statically with nix * compile emulator statically with nix * compile emulator lib statically with nix * compile emulator lib statically with nix * add libemulator to artifacts * add shared libemulator library to artifacts * minor release fix * update set-output commands; add recent_changelog.md * releases fixes * releases fixes, multiline * releases fixes, multiline * releases fixes, multiline * put back multiline changelog * put back multiline changelog * ConfigParam 19 (global-id) and GLOBALID instruction * Fix gas consumption in HASHEXT * Add blst library * Add bls instructions * Allow passing long code to opcode-timing * Add bls testcase * More BLS instructions * Fix tests, add bls tests * Add more bls tests * Improve some bls operations * Adjust some BLS gas prices * Adjust BLS gas prices * Enable __BLST_PORTABLE__ flag only if PORTABLE flag is set * Add tests for BLS_PAIRING * GASCONSUMED instruction * Fix compilation against docker with blst library; (#14) * fix compilation against docker with blst library; add precompiled libblst.a to android builds * minor fix * Adjust BLKSWX gas * Fix comparison with NAN * Allow arbitrary integers for scalars in ristretto multiplication, fix test * Adjust nix builds according to PR 694 (#15) * integrate and test PR-694 * integrate and test PR-694, test 2 * Add P256_CHKSIGN (secp256r1) --------- Co-authored-by: SpyCheese <mikle98@yandex.ru> Co-authored-by: neodiX42 <namlem@gmail.com>
2023-05-24 18:14:13 +00:00
explicit CellStorageStat(unsigned long long limit_cells)
: cells(0), bits(0), public_cells(0), limit_cells(limit_cells) {
}
2023-02-28 09:06:57 +00:00
void clear_seen() {
2019-09-07 10:03:22 +00:00
seen.clear();
}
void clear() {
cells = bits = public_cells = 0;
clear_limit();
2019-09-07 10:03:22 +00:00
clear_seen();
}
void clear_limit() {
limit_cells = std::numeric_limits<unsigned long long>::max();
limit_bits = std::numeric_limits<unsigned long long>::max();
}
2023-02-28 09:06:57 +00:00
td::Result<CellInfo> compute_used_storage(Ref<vm::CellSlice> cs_ref, bool kill_dup = true,
unsigned skip_count_root = 0);
td::Result<CellInfo> compute_used_storage(const CellSlice& cs, bool kill_dup = true, unsigned skip_count_root = 0);
td::Result<CellInfo> compute_used_storage(CellSlice&& cs, bool kill_dup = true, unsigned skip_count_root = 0);
td::Result<CellInfo> compute_used_storage(Ref<vm::Cell> cell, bool kill_dup = true, unsigned skip_count_root = 0);
td::Result<CellInfo> add_used_storage(Ref<vm::CellSlice> cs_ref, bool kill_dup = true, unsigned skip_count_root = 0);
td::Result<CellInfo> add_used_storage(const CellSlice& cs, bool kill_dup = true, unsigned skip_count_root = 0);
td::Result<CellInfo> add_used_storage(CellSlice&& cs, bool kill_dup = true, unsigned skip_count_root = 0);
td::Result<CellInfo> add_used_storage(Ref<vm::Cell> cell, bool kill_dup = true, unsigned skip_count_root = 0);
unsigned long long limit_cells = std::numeric_limits<unsigned long long>::max();
unsigned long long limit_bits = std::numeric_limits<unsigned long long>::max();
2019-09-07 10:03:22 +00:00
};
struct VmStorageStat {
td::uint64 cells{0}, bits{0}, refs{0}, limit;
td::HashSet<CellHash> visited;
VmStorageStat(td::uint64 _limit) : limit(_limit) {
}
bool add_storage(Ref<Cell> cell);
bool add_storage(const CellSlice& cs);
bool check_visited(const CellHash& cell_hash) {
return visited.insert(cell_hash).second;
}
bool check_visited(const Ref<Cell>& cell) {
return check_visited(cell->get_hash());
}
};
2019-09-07 10:03:22 +00:00
struct CellSerializationInfo {
bool special;
Cell::LevelMask level_mask;
bool with_hashes;
size_t hashes_offset;
size_t depth_offset;
size_t data_offset;
size_t data_len;
bool data_with_bits;
size_t refs_offset;
int refs_cnt;
size_t end_offset;
td::Status init(td::Slice data, int ref_byte_size);
td::Status init(td::uint8 d1, td::uint8 d2, int ref_byte_size);
td::Result<int> get_bits(td::Slice cell) const;
td::Result<Ref<DataCell>> create_data_cell(td::Slice data, td::Span<Ref<Cell>> refs) const;
};
class BagOfCells {
public:
2020-03-02 13:52:55 +00:00
enum { hash_bytes = vm::Cell::hash_bytes, default_max_roots = 16384 };
2019-09-07 10:03:22 +00:00
enum Mode { WithIndex = 1, WithCRC32C = 2, WithTopHash = 4, WithIntHashes = 8, WithCacheBits = 16, max = 31 };
enum { max_cell_whs = 64 };
using Hash = Cell::Hash;
struct Info {
enum : td::uint32 { boc_idx = 0x68ff65f3, boc_idx_crc32c = 0xacc3a728, boc_generic = 0xb5ee9c72 };
unsigned magic;
int root_count;
int cell_count;
int absent_count;
int ref_byte_size;
int offset_byte_size;
bool valid;
bool has_index;
bool has_roots{false};
bool has_crc32c;
bool has_cache_bits;
unsigned long long roots_offset, index_offset, data_offset, data_size, total_size;
Info() : magic(0), valid(false) {
}
void invalidate() {
valid = false;
}
long long parse_serialized_header(const td::Slice& slice);
unsigned long long read_int(const unsigned char* ptr, unsigned bytes);
unsigned long long read_ref(const unsigned char* ptr) {
return read_int(ptr, ref_byte_size);
}
unsigned long long read_offset(const unsigned char* ptr) {
return read_int(ptr, offset_byte_size);
}
void write_int(unsigned char* ptr, unsigned long long value, int bytes);
void write_ref(unsigned char* ptr, unsigned long long value) {
write_int(ptr, value, ref_byte_size);
}
void write_offset(unsigned char* ptr, unsigned long long value) {
write_int(ptr, value, offset_byte_size);
}
};
private:
int cell_count{0}, root_count{0}, dangle_count{0}, int_refs{0};
int int_hashes{0}, top_hashes{0};
int max_depth{1024};
Info info;
unsigned long long data_bytes{0};
td::HashMap<Hash, int> cells;
struct CellInfo {
Ref<DataCell> dc_ref;
std::array<int, 4> ref_idx;
unsigned char ref_num;
unsigned char wt;
unsigned char hcnt;
int new_idx;
bool should_cache{false};
bool is_root_cell{false};
CellInfo() : ref_num(0) {
}
CellInfo(Ref<DataCell> _dc) : dc_ref(std::move(_dc)), ref_num(0) {
}
CellInfo(Ref<DataCell> _dc, int _refs, const std::array<int, 4>& _ref_list)
: dc_ref(std::move(_dc)), ref_idx(_ref_list), ref_num(static_cast<unsigned char>(_refs)) {
}
bool is_special() const {
return !wt;
}
};
std::vector<CellInfo> cell_list_;
struct RootInfo {
RootInfo() = default;
RootInfo(Ref<Cell> cell, int idx) : cell(std::move(cell)), idx(idx) {
}
Ref<Cell> cell;
int idx{-1};
};
std::vector<CellInfo> cell_list_tmp;
std::vector<RootInfo> roots;
std::vector<unsigned char> serialized;
const unsigned char* index_ptr{nullptr};
const unsigned char* data_ptr{nullptr};
std::vector<unsigned long long> custom_index;
public:
void clear();
int set_roots(const std::vector<td::Ref<vm::Cell>>& new_roots);
int set_root(td::Ref<vm::Cell> new_root);
int add_roots(const std::vector<td::Ref<vm::Cell>>& add_roots);
int add_root(td::Ref<vm::Cell> add_root);
td::Status import_cells() TD_WARN_UNUSED_RESULT;
BagOfCells() = default;
std::size_t estimate_serialized_size(int mode = 0);
BagOfCells& serialize(int mode = 0);
std::string serialize_to_string(int mode = 0);
td::Result<td::BufferSlice> serialize_to_slice(int mode = 0);
std::size_t serialize_to(unsigned char* buffer, std::size_t buff_size, int mode = 0);
td::Status serialize_to_file(td::FileFd& fd, int mode = 0);
template<typename WriterT>
std::size_t serialize_to_impl(WriterT& writer, int mode = 0);
2019-09-07 10:03:22 +00:00
std::string extract_string() const;
2020-03-02 13:52:55 +00:00
td::Result<long long> deserialize(const td::Slice& data, int max_roots = default_max_roots);
td::Result<long long> deserialize(const unsigned char* buffer, std::size_t buff_size,
int max_roots = default_max_roots) {
return deserialize(td::Slice{buffer, buff_size}, max_roots);
2019-09-07 10:03:22 +00:00
}
int get_root_count() const {
return root_count;
}
Ref<Cell> get_root_cell(int idx = 0) const {
return (idx >= 0 && idx < root_count) ? roots.at(idx).cell : Ref<Cell>{};
}
static int precompute_cell_serialization_size(const unsigned char* cell, std::size_t len, int ref_size,
int* refs_num_ptr = nullptr);
private:
int rv_idx;
td::Result<int> import_cell(td::Ref<vm::Cell> cell, int depth);
void cells_clear() {
cell_count = 0;
int_refs = 0;
data_bytes = 0;
cells.clear();
cell_list_.clear();
}
td::uint64 compute_sizes(int mode, int& r_size, int& o_size);
void reorder_cells();
int revisit(int cell_idx, int force = 0);
unsigned long long get_idx_entry_raw(int index);
unsigned long long get_idx_entry(int index);
bool get_cache_entry(int index);
td::Result<td::Slice> get_cell_slice(int index, td::Slice data);
td::Result<td::Ref<vm::DataCell>> deserialize_cell(int index, td::Slice data, td::Span<td::Ref<DataCell>> cells,
std::vector<td::uint8>* cell_should_cache);
};
td::Result<Ref<Cell>> std_boc_deserialize(td::Slice data, bool can_be_empty = false, bool allow_nonzero_level = false);
2020-03-02 13:52:55 +00:00
td::Result<td::BufferSlice> std_boc_serialize(Ref<Cell> root, int mode = 0);
td::Result<std::vector<Ref<Cell>>> std_boc_deserialize_multi(td::Slice data,
int max_roots = BagOfCells::default_max_roots);
td::Result<td::BufferSlice> std_boc_serialize_multi(std::vector<Ref<Cell>> root, int mode = 0);
td::Status std_boc_serialize_to_file_large(std::shared_ptr<CellDbReader> reader, Cell::Hash root_hash,
td::FileFd& fd, int mode = 0);
2019-09-07 10:03:22 +00:00
} // namespace vm