jordaniza

{
  description = "Dev shell with rzup and RISC Zero FHS compatibility";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.05";
    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs = {
    self,

jordaniza

pragma solidity ^0.8.17;

import {Test, console2 as console} from "forge-std/Test.sol";
import {Clock} from "src/clock/Clock.sol";

contract TestWhenWeStart is Test {
    Clock clock;

    function setUp() public {
        clock = new Clock();

jordaniza

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import {IERC165, IERC721, IERC721Metadata} from "@openzeppelin/contracts/token/ERC721/extensions/IERC721Metadata.sol";
import {IERC6372} from "@openzeppelin/contracts/interfaces/IERC6372.sol";
import {IERC4906} from "@openzeppelin/contracts/interfaces/IERC4906.sol";
import {IVotes} from "./IVotes.sol"; // modified ivotesish interface for dynamic voting

/*///////////////////////////////////////////////////////////////
                        CORE FUNCTIONALITY

jordaniza

This working document aims to give a brief overview of how Aragon can architect a RISC-0 application for Zk voting.

Overview of a RISC-0 application

In this section we distill the elements of the RISC-0 toolchain relevant for our application.

CLICK TO OPEN IN A BROWSER

jordaniza

// Sources flattened with hardhat v2.22.3 https://hardhat.org

// SPDX-License-Identifier: AGPL-3.0-or-later AND MIT

// File @openzeppelin/contracts-upgradeable/interfaces/draft-IERC1822Upgradeable.sol@v4.9.5

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol)

pragma solidity ^0.8.0;

jordaniza

/boot
|-- EFI
|-- efi
|   `-- EFI
|       |-- BOOT
|       |   `-- BOOTX64.EFI
|       |-- GRUB
|       |   `-- grubx64.efi
|       `-- grub_uefi
|           `-- grubx64.efi

jordaniza

/boot
|-- EFI
|-- efi
|-- grub
|   |-- fonts
|   |   `-- unicode.pf2
|   |-- grub.cfg
|   |-- grubenv
|   |-- locale
|   |   |-- ast.mo