Skip to content

v1.2.0-rc1
Compare
Choose a tag to compare
@github-actions github-actions released this 27 Aug 02:46
· 69 commits to dev since this release
v1.2.0-rc1
This tag was signed with the committer’s verified signature.
mattstam Matt Stam
GPG key ID: B620912B6C9A0F21
Learn about vigilant mode.
54a8f60
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

📦 Uncategorized

  • feat: runtime, instructions, and preprocessing
  • feat: basic re-factor for recursion circuit, Poseidon2-wide table
  • feat: basic ir circuit compiler
  • feat: exp_reverse_bits_precompile in core_v2
  • feat: support poseidon2 permute core-v2 instruction in ir
  • fix: placeholder branch for ExpReverseBitsLen in new AsmCompiler
  • fix: more complete preprocessed trace generation for poseidon2
  • feat: circuit-based fri-fold precompile
  • feat: exp reverse bits in ir
  • test: exp reverse bits, repeat test for poseidon and hint bits
  • Merge branch 'dev' into experimental
  • feat: poseidon2 wide in circuit language
  • feat: fri fold in ir
  • Merge branch 'dev' into experimental
  • feat: support for poseidon2 in the ir
  • test: rough bench of compress with dummy circuit
  • fix: resolve conflicting poseidon2 variants in ir
  • feat: print instructions in ir and runtime
  • feat: verifier program challenger
  • perf: Remove results columns in alu_base table
  • feat: poseidon hash and compress in ir builder trait
  • feat: plonk profiling test for recursion circuit
  • feat: ext2felts instruction
  • feat: recursion circuit fri fold air constraints
  • feat: recursion circuit exp reverse bits constraints
  • chore: created chips directory in recursion core-v2
  • feat: tracing and runtime errors
  • feat: verifier circuit verify_challenges and verify_two_adic_pcs
  • feat: cycle tracker spans for build_wrap_circuit and v2 circuit
  • feat: recursion circuit p2 wide constraints
  • Merge branch 'dev' into experimental
  • perf: remove read_mult column, instead use negative write_mult
  • chore: main to dev
  • chore: update dependencies to v1.1.1
  • feat: smaller checkpoints
  • feat: constant memory init table
  • feat: witness input for v2 recursion
  • fix: Copy sp1-helper binary build
  • feat: add cycle tracker report
  • feat: recursion circuit public values chip
  • feat: fptower and tests
  • feat: acknowledgments in README
  • chore: dev to exprimental
  • feat: recursion circuit p2 skinny air constraints
  • docs: common issues for syscall_verify_sp1_proof and ignore-rust-version
  • chore: plonk version
  • feat: verify_shard in v2 verify circuit
  • fix: add bn254 fp to record
  • feat: couple of traits to genericize verify circuit
  • chore: verify_sp1_proof naming
  • docs: prover network semver
  • feat: circuit types for the constant proof shape case
  • fix: memory checkpoints with syscalls
  • chore: dev to experimental
  • feat: verify shard in recursion circuit
  • chore: fix fp tests, record
  • feat: decompress pubkey
  • fix: allow hint slice syscall code in unconstrained mode
  • feat: core recursion in circuit
  • feat: add groth16
  • feat: Ensure sp1-sdk is built in release mode
  • chore: merge experimental into dev
  • chore: merge dev into experimental pt 2
  • chore: docs tweaks
  • fix: reduce field elements before printing in GNARK circuit
  • feat: default strict align CFLAGS
  • chore: make state pub
  • fix: examples ci
  • fix: tokio block on
  • perf: runtime optimizations
  • chore: load tendermint blocks locally
  • perf: two useful reductions, direct felt2var
  • perf: felt multiplication in recompute_quotient
  • refactor: deprecate sp1-helper
  • feat(cli): vkey command to output program vkey hash
  • docs: bn254 Affine Point
  • chore(prover::tests): handle error instead of unwrap in e2e test
  • chore: update version to 1.2.0-rc1
  • fix: don't use range checker in g16
  • feat: 1.2.0-rc1 cuda prover
  • fix: public value multiplicities
  • chore: fixing install guide
  • feat: gas
  • feat: add groth16 to Prove
  • perf: use crate vec_map, box large Instruction variants
  • chore: rename g16 plonk verifiers
  • perf: move cycle tracker to Err in compile_one, criterion benchmarks
  • perf: Box several DslIr variants to bring it under 64 bytes
  • feat: plonk in new circuit
  • docs: bls12_381 and bn254
  • feat: bench bls12-381 and bn254 tower operations and pairing check
  • feat: unify inner and outer witnesses in recursion circuit
  • perf: unify variable counters
  • docs: bench w/ 10 blobs for verify batched kzg proof
  • docs: precompile guide
  • chore: Add BuildArgs re-export to sp1-helper
  • fix: bug in exp_reverse_bits memory multiplicity
  • fix: pass github token into install-toolchain
  • chore: prepare 1.2.0-rc1
  • chore: merge main into dev
  • fix: ci test examples
  • perf: recursion v2 tracegen
  • feat: optimize runtime speed on fast
  • perf: remove 15 cols from poseidon2 wide
  • fix: ci reference to crates
  • fix: duplicate crate warning
  • fix: crate readme paths
  • fix: docker gnark ffi crate path
  • fix: put back re-export of HookEnv in sp1-sdk
  • fix: docker gnark
  • fix: handle load mem instructions that write to reg x0
  • feat: v1.2.0-rc1
Assets 6
Loading