v1.2.0-rc1

📦 Uncategorized

• feat: runtime, instructions, and preprocessing
  • PR: #1036
• feat: basic re-factor for recursion circuit, Poseidon2-wide table
  • PR: #1062
• feat: basic ir circuit compiler
  • PR: #1072
• feat: exp_reverse_bits_precompile in core_v2
  • PR: #1079
• feat: support poseidon2 permute core-v2 instruction in ir
  • PR: #1084
• fix: placeholder branch for ExpReverseBitsLen in new AsmCompiler
  • PR: #1087
• fix: more complete preprocessed trace generation for poseidon2
  • PR: #1094
• feat: circuit-based fri-fold precompile
  • PR: #1090
• feat: exp reverse bits in ir
  • PR: #1093
• test: exp reverse bits, repeat test for poseidon and hint bits
  • PR: #1097
• Merge branch 'dev' into experimental
  • PR: #1098
• feat: poseidon2 wide in circuit language
  • PR: #1096
• feat: fri fold in ir
  • PR: #1108
• Merge branch 'dev' into experimental
  • PR: #1148
• feat: support for poseidon2 in the ir
  • PR: #1111
• test: rough bench of compress with dummy circuit
  • PR: #1141
• fix: resolve conflicting poseidon2 variants in ir
  • PR: #1150
• feat: print instructions in ir and runtime
  • PR: #1162
• feat: verifier program challenger
  • PR: #1166
• perf: Remove results columns in alu_base table
  • PR: #1167
• feat: poseidon hash and compress in ir builder trait
  • PR: #1171
• feat: plonk profiling test for recursion circuit
  • PR: #1110
• feat: ext2felts instruction
  • PR: #1172
• feat: recursion circuit fri fold air constraints
  • PR: #1169
• feat: recursion circuit exp reverse bits constraints
  • PR: #1173
• chore: created chips directory in recursion core-v2
  • PR: #1181
• feat: tracing and runtime errors
  • PR: #1187
• feat: verifier circuit verify_challenges and verify_two_adic_pcs
  • PR: #1174
• feat: cycle tracker spans for build_wrap_circuit and v2 circuit
  • PR: #1206
• feat: recursion circuit p2 wide constraints
  • PR: #1205
• Merge branch 'dev' into experimental
  • PR: #1161
• perf: remove read_mult column, instead use negative write_mult
  • PR: #1244
• chore: main to dev
  • PR: #1266
• chore: update dependencies to v1.1.1
  • PR: #1267
• feat: smaller checkpoints
  • PR: #1254
• feat: constant memory init table
  • PR: #1251
• feat: witness input for v2 recursion
  • PR: #1255
• fix: Copy sp1-helper binary build
  • PR: #1279
• feat: add cycle tracker report
  • PR: #1275
• feat: recursion circuit public values chip
  • PR: #1183
• feat: fptower and tests
  • PR: #1239
• feat: acknowledgments in README
  • PR: #1285
• chore: dev to exprimental
  • PR: #1287
• feat: recursion circuit p2 skinny air constraints
  • PR: #1192
• docs: common issues for syscall_verify_sp1_proof and ignore-rust-version
  • PR: #1291
• chore: plonk version
  • PR: #1295
• feat: verify_shard in v2 verify circuit
  • PR: #1281
• fix: add bn254 fp to record
  • PR: #1304
• feat: couple of traits to genericize verify circuit
  • PR: #1305
• chore: verify_sp1_proof naming
  • PR: #1288
• docs: prover network semver
  • PR: #1309
• feat: circuit types for the constant proof shape case
  • PR: #1311
• fix: memory checkpoints with syscalls
  • PR: #1284
• chore: dev to experimental
  • PR: #1312
• feat: verify shard in recursion circuit
  • PR: #1316
• chore: fix fp tests, record
  • PR: #1315
• feat: decompress pubkey
  • PR: #1318
• fix: allow hint slice syscall code in unconstrained mode
  • PR: #1319
• feat: core recursion in circuit
  • PR: #1322
• feat: add groth16
  • PR: #1313
• feat: Ensure sp1-sdk is built in release mode
  • PR: #1334
• chore: merge experimental into dev
  • PR: #1340
• chore: merge dev into experimental pt 2
  • PR: #1341
• chore: docs tweaks
  • PR: #1302
• fix: reduce field elements before printing in GNARK circuit
  • PR: #1332
• feat: default strict align CFLAGS
  • PR: #1272
• chore: make state pub
  • PR: #1345
• fix: examples ci
  • PR: #1347
• fix: tokio block on
  • PR: #1346
• perf: runtime optimizations
  • PR: #1344
• chore: load tendermint blocks locally
  • PR: #1348
• perf: two useful reductions, direct felt2var
  • PR: #1277
• perf: felt multiplication in recompute_quotient
  • PR: #1337
• refactor: deprecate sp1-helper
  • PR: #1268
• feat(cli): vkey command to output program vkey hash
  • PR: #1274
• docs: bn254 Affine Point
  • PR: #1310
• chore(prover::tests): handle error instead of unwrap in e2e test
  • PR: #1314
• chore: update version to 1.2.0-rc1
  • PR: #1351
• fix: don't use range checker in g16
  • PR: #1350
• feat: 1.2.0-rc1 cuda prover
  • PR: #1353
• fix: public value multiplicities
  • PR: #1356
• chore: fixing install guide
  • PR: #1357
• feat: gas
  • PR: #1354
• feat: add groth16 to Prove
  • PR: #1359
• perf: use crate vec_map, box large Instruction variants
  • PR: #1360
• chore: rename g16 plonk verifiers
  • PR: #1363
• perf: move cycle tracker to Err in compile_one, criterion benchmarks
  • PR: #1369
• perf: Box several DslIr variants to bring it under 64 bytes
  • PR: #1371
• feat: plonk in new circuit
  • PR: #1364
• docs: bls12_381 and bn254
  • PR: #1368
• feat: bench bls12-381 and bn254 tower operations and pairing check
  • PR: #1370
• feat: unify inner and outer witnesses in recursion circuit
  • PR: #1374
• perf: unify variable counters
  • PR: #1372
• docs: bench w/ 10 blobs for verify batched kzg proof
  • PR: #1377
• docs: precompile guide
  • PR: #1375
• chore: Add BuildArgs re-export to sp1-helper
  • PR: #1367
• fix: bug in exp_reverse_bits memory multiplicity
  • PR: #1378
• fix: pass github token into install-toolchain
  • PR: #1386
• chore: prepare 1.2.0-rc1
  • PR: #1387
• chore: merge main into dev
  • PR: #1390
• fix: ci test examples
  • PR: #1391
• perf: recursion v2 tracegen
  • PR: #1376
• feat: optimize runtime speed on fast
  • PR: #1373
• perf: remove 15 cols from poseidon2 wide
  • PR: #1397
• fix: ci reference to crates
  • PR: #1398
• fix: duplicate crate warning
  • PR: #1405
• fix: crate readme paths
  • PR: #1407
• fix: docker gnark ffi crate path
  • PR: #1408
• fix: put back re-export of HookEnv in sp1-sdk
  • PR: #1410
• fix: docker gnark
  • PR: #1411
• fix: handle load mem instructions that write to reg x0
  • PR: #1409
• feat: v1.2.0-rc1
  • PR: #1389