INNER CODE UNIT · Rust

squares

binius-zk/binius64 · crates/compute/src/lib.rs:284

		let squares = (0..1000usize).into_par_iter().map(|i| (i * i) as u64);
		let buffer = squares.collect_into_alloc_vec(&&pool);
		assert_eq!(buffer.len(), 1000);
		assert!(
			buffer
				.iter()
				.enumerate()
				.all(|(i, &sq)| sq == (i * i) as u64)
		);
	}

	#[test]
	fn vec_truncates_through_buffer_data() {
		let mut buffer = vec![1u64, 2, 3, 4];
		BufferData::truncate(&mut buffer, 2);
		assert_eq!(&*buffer, &[1, 2]);
	}

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…