Meharab

function transferFrom(address from, address to, uint256 tokenId) public {
  require(ownerOf(tokenId) == from, "NFT not owned by sender");
  // ... (rest of transfer logic)
}

Meharab

(define-fun transfer (to addr token-id)
  (if (= (owner token-id) msg-sender)
    (do
      (let ((new-owner to))
        (set-owner token-id new-owner))
    (fail "not-owner")))

Meharab

Problem Details

This puzzle is to write a Circom circuit constraining filtering from an array of tuples.

• The objective is to minimize the non-linear constraint count.
• You can test your solution at: https://zkrepl.dev/
• Submit your solution in the form of:
  1. a link to a circuit on zkRepl saved as a Github Gist
  2. a writeup explaining your approach You should fill in the following template:

Meharab

import Hello from "./d3hello.cdc"

pub fun main(name: String): String {
  return Hello.sayHi(to: name)
}

Meharab

pub contract Hello {
  pub event IssuedGreeting(greeting: String)

  pub fun sayHi(to name: String): String {
    let greeting = "Hi, ".concat(name)

    //emit IssuedGreeting(greeting: greeting)

    return greeting
  }

Meharab

{
	"emulators": {
		"default": {
			"port": 3569,
			"serviceAccount": "emulator-account"
		}
	},
	"contracts": {
		"Hello": "./smart-contract/d3hello.cdc"
	  },

Meharab

pub struct Rectangle {
  pub let width: Int
  pub let height: Int

  init(width: Int, height: Int) {
    self.width = width
    self.height = height
  }
}

Meharab

pragma solidity ^0.4.17;
contract Auction {
    
// Data
    //Structure to hold details of the item
    struct Item {
        uint itemId; // id of the item
        uint[] itemTokens;  //tokens bid in favor of the item
       
    }

Meharab

Meharab