v3.0.0-rc3

📦 Uncategorized

• perf: posedion2 trace opt
  • PR: #1365
• feat: make challenger fixed shape
  • PR: #1395
• feat: fixed size shrink and wrap for recursion v2
  • PR: #1394
• feat: small prog opts
  • PR: #1388
• fix everything
  • PR: #1406
• feat: merkle tree-based vector commitments
  • PR: #1415
• perf: GROTH16 improvements
  • PR: #1417
• feat: recursion circuit integration
  • PR: #1361
• feat: infrastructure for proof shape merkle proofs
  • PR: #1428
• feat: new arithmetic
  • PR: #1418
• chore: merge dev
  • PR: #1439
• chore: merge dev
  • PR: #1442
• chore: merge dev
  • PR: #1443
• Revert "chore: merge dev"
  • PR: #1448
• chore: merge dev
  • PR: #1449
• feat: integration constraints
  • PR: #1455
• chore: merge dev
  • PR: #1458
• feat: enable fixed shape in recursion circuit
  • PR: #1462
• chore: allow optional proof shape in core record and program
  • PR: #1460
• chore: merge dev
  • PR: #1467
• chore: merge dev
  • PR: #1471
• feat: fixed shapes in precompiles
  • PR: #1476
• feat: better reduce api
  • PR: #1486
• feat: dummy fri proofs
  • PR: #1497
• feat: fixed proof shapes
  • PR: #1478
• feat: added cuda action
  • PR: #1492
• fix: rsp ci test
  • PR: #1475
• revert: fix: rsp ci test
  • PR: #1515
• perf: local bus
  • PR: #1293
• feat: fixed heights for new chips
  • PR: #1523
• fix: low memory shards
  • PR: #1524
• feat(sdk): send cpu cycles in network
  • PR: #1521
• feat: dummy shard proof
  • PR: #1527
• refactor: removed use of sudo + docker from cuda crate
  • PR: #1517
• fix: copy_elf_from_output_dir binary name
  • PR: #1526
• feat: Add cycle-tracking example with multiple binaries
  • PR: #1529
• feat: vk maps
  • PR: #1528
• fix: local cumulative sum check in recursion
  • PR: #1531
• fix: rust 1.81 toolchain build issue
  • PR: #1534
• fix: uninitialized_memory hashmap issue
  • PR: #1536
• ci: test toolchain installation
  • PR: #1539
• docs: substrate bn
  • PR: #1540
• refactor: move SP1PublicValues to sp1-primitives
  • PR: #1546
• perf: remove unnecessary materializations of matrix views
  • PR: #1547
• chore: implement raw() for groth16 proof
  • PR: #1543
• chore: replace raw() with bytes() in fibonacci example
  • PR: #1549
• feat: public value validity assertions
  • PR: #1532
• feat: merge upstream changes
  • PR: #1550
• feat: fixed vks in root
  • PR: #1551
• feat: root and deferred
  • PR: #1552
• fix: check with is_first instead of is_last in exp reverse bits chip
  • PR: #1482
• feat: felts to var optimization
  • PR: #1553
• fix: gnark ffi fixes
  • PR: #1554
• fix: conversions and bits
  • PR: #1555
• fix: proof flow for v3
  • PR: #1556
• chore: upgrade Rust toolchain to 1.81.0
  • PR: #1559
• feat: remove exp reverse bits in wrap
  • PR: #1558
• docs: why-use-sp1.md
  • PR: #1557
• fix: gnark-ffi Dockerfile caching
  • PR: #1564
• chore: merge dev
  • PR: #1570
• chore: cleanup
  • PR: #1569
• fix: shapes fixing
  • PR: #1574
• fix: multi field rate and serialization
  • PR: #1575
• fix: execution shard initialization
  • PR: #1576
• fix: exit code
  • PR: #1577
• fix: vk root in deferred
  • PR: #1578
• fix: more shard options
  • PR: #1586
• fix: sp1-recursion-gnark-ffi rebuilds unnecessarily
  • PR: #1583
• fix: syscall chip in shards
  • PR: #1582
• chore: merge dev
  • PR: #1591
• Revert "chore: merge dev"
  • PR: #1592
• feat: BabyBear Optimization in GNARK
  • PR: #1587
• chore: remove individual example workspaces
  • PR: #1566
• chore: cleanup
  • PR: #1593
• chore: clippy without debug_assertions
  • PR: #1598
• chore: remove non-existent feature
  • PR: #1590
• chore: remove individual test workspaces
  • PR: #1597
• fix: multi_scalar_multiplication
  • PR: #1542
• docs: update
  • PR: #1585
• chore(sdk): update prost and twirp to 0.13
  • PR: #1601
• feat: precompile shapes
  • PR: #1600
• feat: runtime opts
  • PR: #1579
• feat: trusted setup support
  • PR: #1538
• chore: merge dev
  • PR: #1603
• chore: Fix typos in documentation
  • PR: #1512
• fix: weierstrass_add test
  • PR: #1605
• fix(docs): branch on patched bls12_381
  • PR: #1596
• feat: sp1 testing suite
  • PR: #1563
• feat: only call entrypoint in zkvm
  • PR: #1611
• feat: artifacts
  • PR: #1614
• feat: g16/plonk for network
  • PR: #1617
• small tweaks
  • PR: #1618
• chore: tweaks
  • PR: #1619
• feat(sdk): network-v2
  • PR: #1607
• chore: cargo machete
  • PR: #1606
• feat: shape artifacts in s3
  • PR: #1621