logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-05-18 15:29:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix dots.

Browse Source
This commit is contained in:
Alejandro Cabeza Romero 2026-05-18 15:28:35 +02:00
parent cec59f55a8
commit 2529c88fab
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
rust/logos-blockchain-circuits-tests/tests/conflicts.rs
View File

@ -8,11 +8,12 @@ mod tests {
let pol_inputs_raw = std::fs::read_to_string(inputs::POL.as_path()).unwrap();
let pol_witness_input = lbc_pol_sys::PolWitnessInput::new(pol_inputs_raw).unwrap();
// Each sys crate compiles a copy of the same C++ runtime (loadCircuit, get_size_of_witness, …)
// under identical symbol names. When two crates are linked into the same binary, the linker
// silently keeps one definition of each symbol, so one circuit ends up using the other's
// size constants — corrupting dat parsing and causing a SIGSEGV.
// This test reproduces the conflict by calling generate_witness on both circuits in the same binary.
// Each sys crate compiles a copy of the same C++ runtime (loadCircuit, get_size_of_witness,
// ...) under identical symbol names. When two crates are linked into the same binary, the
// linker silently keeps one definition of each symbol, so one circuit ends up using the
// other's size constants — corrupting dat parsing and causing a SIGSEGV.
// This test reproduces the conflict by calling generate_witness on both circuits in the
// same binary.
let _pol_witness = lbc_pol_sys::generate_witness(&pol_witness_input);
let inputs_json_raw = std::fs::read_to_string(inputs::POQ.as_path()).unwrap();