changed to web-time in circuit_builder (#1624)

* changed to web-time in circuit_builder

* Rustfmt

---------

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
This commit is contained in:
Arman Aurobindo 2024-09-11 02:38:10 +05:30 committed by GitHub
parent bf95c10cbf
commit 41dc325e61
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -4,11 +4,13 @@
use alloc::{collections::BTreeMap, sync::Arc, vec, vec::Vec};
use core::cmp::max;
#[cfg(feature = "std")]
use std::{collections::BTreeMap, sync::Arc, time::Instant};
use std::{collections::BTreeMap, sync::Arc};
use hashbrown::{HashMap, HashSet};
use itertools::Itertools;
use log::{debug, info, warn, Level};
#[cfg(feature = "timing")]
use web_time::Instant;
use crate::field::cosets::get_unique_coset_shifts;
use crate::field::extension::{Extendable, FieldExtension};