From 9222e0aaa52cd67db6d4b97d387b01bcc4bf7b76 Mon Sep 17 00:00:00 2001 From: Alcibiades Athens Date: Sun, 20 Mar 2022 11:09:50 -0400 Subject: [PATCH] add liscence --- LICENSE | 100 +++++++++++++++++++++++++++++++++++++++ src/OptionSettlement.sol | 13 ++++- 2 files changed, 111 insertions(+), 2 deletions(-) create mode 100644 LICENSE diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..8cd1656 --- /dev/null +++ b/LICENSE @@ -0,0 +1,100 @@ +Business Source License 1.1 + +License text copyright (c) 2017 MariaDB Corporation Ab, All Rights Reserved. +"Business Source License" is a trademark of MariaDB Corporation Ab. + +----------------------------------------------------------------------------- + +Parameters + +Licensor: Alcibiades Capital LLC + +Licensed Work: Valorem Options V1 Core + The Licensed Work is (c) 2021 Alcibiades Capital LLC + +Additional Use Grant: Any uses listed and defined at + v1-options-core-license-grants.valorem.xyz + +Change Date: The earlier of 2026-02-01 or a date specified at + v1-options-core-license-date.valorem.xyz + +Change License: GNU General Public License v2.0 or later + +----------------------------------------------------------------------------- + +Terms + +The Licensor hereby grants you the right to copy, modify, create derivative +works, redistribute, and make non-production use of the Licensed Work. The +Licensor may make an Additional Use Grant, above, permitting limited +production use. + +Effective on the Change Date, or the fourth anniversary of the first publicly +available distribution of a specific version of the Licensed Work under this +License, whichever comes first, the Licensor hereby grants you rights under +the terms of the Change License, and the rights granted in the paragraph +above terminate. + +If your use of the Licensed Work does not comply with the requirements +currently in effect as described in this License, you must purchase a +commercial license from the Licensor, its affiliated entities, or authorized +resellers, or you must refrain from using the Licensed Work. + +All copies of the original and modified Licensed Work, and derivative works +of the Licensed Work, are subject to this License. This License applies +separately for each version of the Licensed Work and the Change Date may vary +for each version of the Licensed Work released by Licensor. + +You must conspicuously display this License on each original or modified copy +of the Licensed Work. If you receive the Licensed Work in original or +modified form from a third party, the terms and conditions set forth in this +License apply to your use of that work. + +Any use of the Licensed Work in violation of this License will automatically +terminate your rights under this License for the current and all other +versions of the Licensed Work. + +This License does not grant you any right in any trademark or logo of +Licensor or its affiliates (provided that you may use a trademark or logo of +Licensor as expressly required by this License). + +TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE LICENSED WORK IS PROVIDED ON +AN "AS IS" BASIS. LICENSOR HEREBY DISCLAIMS ALL WARRANTIES AND CONDITIONS, +EXPRESS OR IMPLIED, INCLUDING (WITHOUT LIMITATION) WARRANTIES OF +MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, AND +TITLE. + +MariaDB hereby grants you permission to use this License’s text to license +your works, and to refer to it using the trademark "Business Source License", +as long as you comply with the Covenants of Licensor below. + +----------------------------------------------------------------------------- + +Covenants of Licensor + +In consideration of the right to use this License’s text and the "Business +Source License" name and trademark, Licensor covenants to MariaDB, and to all +other recipients of the licensed work to be provided by Licensor: + +1. To specify as the Change License the GPL Version 2.0 or any later version, + or a license that is compatible with GPL Version 2.0 or a later version, + where "compatible" means that software provided under the Change License can + be included in a program with software provided under GPL Version 2.0 or a + later version. Licensor may specify additional Change Licenses without + limitation. + +2. To either: (a) specify an additional grant of rights to use that does not + impose any additional restriction on the right granted in this License, as + the Additional Use Grant; or (b) insert the text "None". + +3. To specify a Change Date. + +4. Not to modify this License in any other way. + +----------------------------------------------------------------------------- + +Notice + +The Business Source License (this document, or the "License") is not an Open +Source license. However, the Licensed Work will eventually be made available +under an Open Source License, as stated in this License. \ No newline at end of file diff --git a/src/OptionSettlement.sol b/src/OptionSettlement.sol index 0d37d9c..84f0c39 100644 --- a/src/OptionSettlement.sol +++ b/src/OptionSettlement.sol @@ -21,6 +21,7 @@ enum Type { Claim } +// TODO(Consider converting require strings to errors) // TODO(An enum here indicating if the option is a put or a call would be redundant, but maybe useful?) struct Option { @@ -52,6 +53,7 @@ struct Claim { bool claimed; } +// TODO(Add VRF) contract OptionSettlementEngine is ERC1155 { // TODO(Interface file to interact without looking at the internals) @@ -152,8 +154,14 @@ contract OptionSettlementEngine is ERC1155 { ERC20 exercise = ERC20(optionInfo.exerciseAsset); // Check total supplies and ensure the option will be exercisable - require(underlying.totalSupply() >= optionInfo.underlyingAmount, "Invalid Supply"); - require(exercise.totalSupply() >= optionInfo.exerciseAmount, "Invalid Supply"); + require( + underlying.totalSupply() >= optionInfo.underlyingAmount, + "Invalid Supply" + ); + require( + exercise.totalSupply() >= optionInfo.exerciseAmount, + "Invalid Supply" + ); option[_nextTokenId] = optionInfo; @@ -168,6 +176,7 @@ contract OptionSettlementEngine is ERC1155 { function writeOption(uint256 tokenId) external view { require(tokenType[tokenId] == Type.Option, "Token is not an option"); + // TODO(Transfer the requisite underlying asset) // TODO(Create and transfer the claim token) // TODO(Emit event about the writing)