You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
328 B
16 lines
328 B
#![allow(non_snake_case)]
|
|
#![allow(non_camel_case_types)]
|
|
#![allow(non_upper_case_globals)]
|
|
#![allow(clippy::upper_case_acronyms)]
|
|
// #![allow(unused)] // TMP
|
|
#![allow(dead_code)] // TMP
|
|
|
|
pub mod circuits;
|
|
pub mod ivc;
|
|
pub mod nifs;
|
|
pub mod pedersen;
|
|
pub mod transcript;
|
|
pub mod utils;
|
|
|
|
// hypernova related:
|
|
pub mod hypernova;
|