Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: v1.1.0 #1233

Merged
merged 51 commits into from
Aug 3, 2024
Merged
Changes from 1 commit
Commits
Show all changes
51 commits
Select commit Hold shift + click to select a range
46ce208
chore: add audit reports (#1142)
mattstam Jul 19, 2024
e1070a2
perf: generate dep optimizations (#1125)
kevjue Jul 22, 2024
f60caf8
chore(deps): bump cc from 1.1.5 to 1.1.6 (#1140)
dependabot[bot] Jul 22, 2024
7c2b03b
chore(deps): bump vergen from 8.3.1 to 8.3.2 (#1139)
dependabot[bot] Jul 22, 2024
b29a2bc
chore(deps): bump blake3 from 1.5.1 to 1.5.3 (#1138)
dependabot[bot] Jul 22, 2024
1ea0289
chore(deps): bump tokio from 1.38.0 to 1.38.1 (#1137)
dependabot[bot] Jul 22, 2024
6f4d5ba
chore(deps): bump thiserror from 1.0.61 to 1.0.63 (#1136)
dependabot[bot] Jul 22, 2024
539bc67
chore(deps): bump actions/deploy-pages from 2 to 4 (#1135)
dependabot[bot] Jul 22, 2024
a6c1d7b
chore(deps): bump docker/metadata-action from 4 to 5 (#1134)
dependabot[bot] Jul 22, 2024
8ce2f61
chore(deps): bump docker/build-push-action from 3 to 6 (#1133)
dependabot[bot] Jul 22, 2024
6e62cf8
chore(deps): bump actions/upload-artifact from 2 to 4 (#1132)
dependabot[bot] Jul 22, 2024
ec0bc47
chore(deps): bump docker/login-action from 2 to 3 (#1131)
dependabot[bot] Jul 22, 2024
3d56c3f
fix: remove changelog-seen from config.toml (#1151)
mattstam Jul 22, 2024
e9eb91f
fix: UB from `OpcodeSpecificCols` union (#1050)
gio256 Jul 22, 2024
29b0a87
feat: streaming prover for core (#1146)
jtguibas Jul 22, 2024
a0cea8a
chore(deps): bump alloy-sol-types from 0.7.6 to 0.7.7 (#1152)
dependabot[bot] Jul 23, 2024
05a913e
chore(deps): bump arrayref from 0.3.7 to 0.3.8 (#1154)
dependabot[bot] Jul 23, 2024
b249447
chore: prover trait cleanup (#1170)
jtguibas Jul 25, 2024
6529a48
Merge branch 'main' into dev
mattstam Jul 25, 2024
a810c57
fix: cycle tracking logs (#1178)
ratankaliani Jul 25, 2024
e2f0d44
chore: merge main into dev (#1180)
mattstam Jul 25, 2024
b36a81e
feat: streaming recursion (#1175)
jtguibas Jul 26, 2024
32eec98
docs: remove `reth`, `revm` patches (#1185)
ratankaliani Jul 26, 2024
3ac1468
docs: usage in CI (#1190)
mattstam Jul 29, 2024
63ff5a5
feat: use C++ toolchain when building programs that need C (#1092)
mattstam Jul 29, 2024
bd6870f
chore(deps): bump docker/setup-buildx-action from 2 to 3 (#1156)
dependabot[bot] Jul 29, 2024
dc7b48a
chore(deps): bump softprops/action-gh-release from 1 to 2 (#1160)
dependabot[bot] Jul 29, 2024
eda751d
docs: using different solidity versions (#1182)
mattstam Jul 29, 2024
6bb39c7
fix: verify subproof in execute (#1204)
ctian1 Jul 30, 2024
aef8992
fix(ci): `runs-on` configuration 🚀 (#1209)
ratankaliani Jul 31, 2024
26afcc1
fix: device oom (#1202)
jtguibas Jul 31, 2024
d1a1150
fix: remove nightly in toolchain config (#1216)
mattstam Aug 1, 2024
72f1e85
fix: mutable static ref warning in halt syscall (#1217)
mattstam Aug 1, 2024
9d627ad
feat: lazy init prover programs and keys (#1177)
ctian1 Aug 1, 2024
b28b4a9
book: rv32im implementation details (#1193)
ctian1 Aug 1, 2024
631a463
feat: use 1.79 toolchain (#1222)
mattstam Aug 2, 2024
a1eb944
fix: memory global generate_dependencies (#1220)
ctian1 Aug 2, 2024
21217e3
feat: update tg (#1214)
jtguibas Aug 2, 2024
c9dff0c
fix: BabyBear range check Gnark (#1225)
erabinov Aug 2, 2024
89ae79f
chore(deps): bump anstyle from 1.0.7 to 1.0.8 (#1194)
dependabot[bot] Aug 2, 2024
2e13dce
chore(deps): bump tokio from 1.38.1 to 1.39.2 (#1195)
dependabot[bot] Aug 2, 2024
83ec3f4
chore(deps): bump serde_json from 1.0.120 to 1.0.121 (#1196)
dependabot[bot] Aug 2, 2024
eb3cf59
chore(deps): bump cc from 1.1.6 to 1.1.7 (#1198)
dependabot[bot] Aug 2, 2024
ddc589e
feat: experimental gpu support (#1219)
jtguibas Aug 2, 2024
051d8a7
fix: wait longer for server to start (#1231)
mattstam Aug 2, 2024
f0e6311
refactor: `sp1-lib`, syscall docs (#1189)
jtguibas Aug 2, 2024
6b6f9f8
docs: patched crate documentation (#1221)
ratankaliani Aug 2, 2024
80fcb0b
chore: bump version and changelog (#1232)
mattstam Aug 2, 2024
411d5aa
docs: fix lint issues (#1234)
mattstam Aug 2, 2024
35363a2
feat: timeout on network prover (#1223)
ratankaliani Aug 2, 2024
a78922b
docs: link to patch testing script (#1235)
mattstam Aug 2, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix: device oom (#1202)
Co-authored-by: tamirhemo <tamirhmo@gmail.com>
  • Loading branch information
jtguibas and tamirhemo authored Jul 31, 2024
commit 26afcc1cfd91f0289594b78066b7f2c01c1efbdb
5 changes: 4 additions & 1 deletion core/src/runtime/record.rs
Original file line number Diff line number Diff line change
@@ -120,7 +120,7 @@ impl SplitOpts {
keccak_split_threshold: deferred_shift_threshold / 24,
sha_extend_split_threshold: deferred_shift_threshold / 48,
sha_compress_split_threshold: deferred_shift_threshold / 80,
memory_split_threshold: deferred_shift_threshold,
memory_split_threshold: deferred_shift_threshold * 4,
}
}
}
@@ -520,8 +520,11 @@ impl ExecutionRecord {
opts.deferred_shift_threshold,
last
);
// _ = last_pct;

if last {
// shards.push(last_shard);

self.memory_initialize_events
.sort_by_key(|event| event.addr);
self.memory_finalize_events.sort_by_key(|event| event.addr);
37 changes: 26 additions & 11 deletions core/src/utils/prove.rs
Original file line number Diff line number Diff line change
@@ -33,6 +33,7 @@ use crate::stark::Val;
use crate::stark::VerifierConstraintFolder;
use crate::stark::{Com, PcsProverData, RiscvAir, StarkProvingKey, UniConfig};
use crate::stark::{MachineRecord, StarkMachine};
use crate::utils::chunk_vec;
use crate::utils::concurrency::TurnBasedSync;
use crate::utils::SP1CoreOpts;
use crate::{
@@ -300,11 +301,17 @@ where
trace_gen_sync.wait_for_turn(index);

// Send the records to the phase 1 prover.
records_and_traces_tx
.lock()
.unwrap()
.send((records, traces))
.unwrap();
let chunked_records = chunk_vec(records, opts.shard_batch_size);
let chunked_traces = chunk_vec(traces, opts.shard_batch_size);
chunked_records.into_iter().zip(chunked_traces).for_each(
|(records, traces)| {
records_and_traces_tx
.lock()
.unwrap()
.send((records, traces))
.unwrap();
},
);

trace_gen_sync.advance_turn();
} else {
@@ -347,7 +354,9 @@ where
.map(|(record, traces)| {
let _span = span.enter();
let data = prover.commit(record, traces);
data.main_commit
let main_commit = data.main_commit.clone();
drop(data);
main_commit
})
.collect::<Vec<_>>();

@@ -478,11 +487,17 @@ where
trace_gen_sync.wait_for_turn(index);

// Send the records to the phase 1 prover.
records_and_traces_tx
.lock()
.unwrap()
.send((records, traces))
.unwrap();
let chunked_records = chunk_vec(records, opts.shard_batch_size);
let chunked_traces = chunk_vec(traces, opts.shard_batch_size);
chunked_records.into_iter().zip(chunked_traces).for_each(
|(records, traces)| {
records_and_traces_tx
.lock()
.unwrap()
.send((records, traces))
.unwrap();
},
);

trace_gen_sync.advance_turn();
} else {
Loading