Home Explore Help
Sign In
Michele Orrù orru
Repositories Public Activity

orru pushed to main at SigmaProtocol/sigma-compiler

  • be8adc764c feat: workflow to update the mirror github repository. This adds a new script update-mirror that will run every day and is meant to keep the github repository in sync with the one on crysp.

2 months ago

orru pushed to main at SigmaProtocol/cmz

  • de6781d47f feat: workflow to update the mirror github repository. This adds a new script update-mirror that will run every day and is meant to keep the github repository in sync with the one on crysp.

2 months ago

orru pushed to main at SigmaProtocol/sigma_compiler

4 months ago

orru deleted branch feature/ooni at SigmaProtocol/cmz

5 months ago

orru pushed to feature/ooni at SigmaProtocol/cmz

5 months ago

orru created new branch feature/ooni at SigmaProtocol/cmz

5 months ago

orru pushed to main at SigmaProtocol/sigma_compiler

  • 02cc687d6c feat: integrate sigma-rs protocol implementation This commit adds complete sigma-rs integration to the compiler: - Add sigma-rs dependency and configuration - Create codegen_sigmars.rs module with sigma-rs specific implementation - Extract sigma-rs code generation logic into separate, organized module - Add comprehensive protocol tests for various proof scenarios - Update main implementation to use sigma-rs backend - Add .gitignore for Rust projects - Preserve original codegen.rs for comparison The new architecture clearly separates the original codegen approach from the sigma-rs implementation, making it easy to compare and understand the differences between the two approaches. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>

5 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

  • 3db01cb13f refactor: update sigma_rs name for relations.

6 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

  • bc91a9e180 rm 'Cargo.lock' for now to sync with main.

6 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

6 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

  • 4e2e05b30d chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • a88d2754e1 feat: sigma-rs integration (#1) Co-Authored-By: nougzarm <nougzarm@icloud.com>
  • 0428b975be chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • 41bc24a182 feat: sigma-rs integration (#1)
  • View comparison for these 4 commits »

6 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

  • 0428b975be chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • 41bc24a182 feat: sigma-rs integration (#1)
  • aadd61835b chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • 3602aa75be Apply the substitutions in the main sigma_compiler_core function
  • 2a45909392 Look for, and apply, all of the substitutions specified in leaves of a StatementTree
  • View comparison for these 14 commits »

6 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

  • aadd61835b chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes

6 months ago

orru pushed to feature/sigma-rs at SigmaProtocol/sigma_compiler

  • ea04e3d1c1 feat: sigma-rs integration (#1)
  • d7ba2a9350 Enforce the disjunction invariant A _disjunction node_ is an Or or Thresh node in the StatementTree. The _disjunction invariant_ is that a private variable (which is necessarily a Scalar since there are no private Point variables) that appears in the subtree rooted at a child of a disjunction node cannot also appear outside of that subtree.
  • 7a84a547cf A little more documentation
  • aeff156e4c Touch up docs for syntax module
  • 62f45215e5 A couple more doc touchups in sigma::types

6 months ago

orru created new branch feature/sigma-rs at SigmaProtocol/sigma_compiler

6 months ago

orru pushed to fix/update at SigmaProtocol/cmz

6 months ago

orru created new branch fix/update at SigmaProtocol/cmz

6 months ago

orru pushed to main at SigmaProtocol/cmz

  • 515dfef3a5 Transform some documentation into doctests.

7 months ago

orru pushed to main at SigmaProtocol/cmz

  • 723aa81860 Minor documentation formatting improvements.

7 months ago