Skip to content
This repository has been archived by the owner on Jun 25, 2024. It is now read-only.

agglayer/pessimistic-proof

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

77 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Archive Note

The pessimistic-proof library has been moved into https://github.com/agglayer/agglayer. Please refer to this new location for inquiries or contributions.

Pessimistic Proof

Current guidance from Succinct for running in performance-optimized mode:

RUST_LOG=info RUSTFLAGS='-C target-cpu=native -C target_feature=+avx512ifma,+avx512vl --cfg curve25519_dalek_backend="simd"' cargo run --release

Note that this requires compiling and running on a avx512 enabled CPU.

License

Copyright (c) 2024 PT Services DMCC

Licensed under either of

at your option.

The SPDX license identifier for this project is MIT OR Apache-2.0.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.